4 ms·

There's GNU Prolog (http://www.gprolog.org/ http://www.gprolog.org/) and YAProlog (http://www.ncc.up.pt/~vsc/Yap/downloads.html http://www.ncc.up.pt/~vsc/Yap/do

by __ 19y ago

There's GNU Prolog (http://www.gprolog.org/ http://www.gprolog.org/) and YAProlog (http://www.ncc.up.pt/~vsc/Yap/downloads.html http://www.ncc.up.pt/~vsc/Yap/downloads.html), which look semi-active.