4 ms·
I'd guess SICStus: http://sicstus.sics.se/ http://sicstus.sics.se/
by nisse72 14y ago
I'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.