Package pl

SWI-Prolog - Edinburgh compatible Prolog compiler

http://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.
General Commands
Command Description
swipl SWI-Prolog 7.6.1
swipl-ld Create a SWI-Prolog embedded executable
swipl-rc SWI-Prolog resource archiver