swi-prolog

v 8.4.3 Updated: 3 months ago

SWI-Prolog compiler plus extra packages (stable version)

ISO/Edinburgh-style Prolog compiler including modules, autoload, libraries, Garbage-collector, stack-expandor, C/C++-interface, Multiple threads, GNU-readline interface, coroutining, constraint programming, global variables, very fast compiler. Including packages clib (Unix process control, sockets, MIME), cpp (C++ interface), sgml (reading XML/SGML), sgml/RDF (reading RDF into triples), ODBC interface and XPCE (Graphics UI toolkit, integrated editor (Emacs-clone) and graphical debugger).

https://www.swi-prolog.org/

To install swi-prolog, paste this in macOS terminal after installing MacPorts

sudo port install swi-prolog

Add to my watchlist

Installations 10
Requested Installations 9