https://www.swi-prolog.org/
ISO/Edinburgh-style Prolog compiler including modules, auto-load, libraries, Garbage-collector, stack-expandor, C/C++-interface, GNU-readline interface, very fast compiler. Including packages clib (Unix process control and sockets), cpp (C++ interface), sgml (reading XML/SGML), sgml/RDF (reading RDF into triples). XPCE (Graphics UI toolkit, integrated editor (Emacs-clone) and source-level debugger) is available in pl-xpce package.
Version: 9.0.4
See also: pl-xpce.
General Commands | |
swipl | SWI-Prolog 9.0.4 |
swipl-ld | Create a SWI-Prolog embedded executable |