swipl

Prolog Compiler

Edinburgh-style Prolog compiler including modules, autoload, libraries, Garbage collector, stack expandor, C interface, GNU readline and GNU Emacs interface, a very fast compiler,and an X11 interface using XPCE (see <a href="http://www.swi.psy.uva.nl/projects/xpce">http://www.swi.psy.uva.nl/projects/xpce</a> ).