https://www.swi-prolog.org/
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it. SWI-Prolog additionally offers: * A powerful module system * Garbage collection * Unicode character set handling * Unbounted integer and rational number arithmetic * Multithreading support * A powerful C/C++ interface * GNU Readline interface This package contains the core SWI-Prolog system.
Version: 9.2.7
General Commands | |
swipl | SWI-Prolog 9.2.7 |
swipl-ld | Create a SWI-Prolog embedded executable |