1 2 3 4 5
Edinburgh-style Prolog compiler including modules, autoload, libraries, Garbage-collector, stack-expandor, C-interface, GNU-readline and GNU-Emacs interface, very fast compiler. WWW: http://www.swi-prolog.org/