3 ms·Which implementation of Prolog does Joe use I wonder?by cgrubb 14y agoWhich implementation of Prolog does Joe use I wonder?nisse72 14y agoI'd guess SICStus: http://sicstus.sics.se/ http://sicstus.sics.se/cgrubb 14y agoI went ahead and asked him and here is what he said: @clarkgrubb I use the #erlang Prolog system github.com/rvirding/erlog from @rvirding and swipl.