swi-prolog

ISO/Edinburgh-style Prolog interpreter

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

Current versions:

stable 7.6.4
devel 🛠 7.6.4
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan

Options:

--with-lite Disable all packages
--with-jpl Enable JPL (Java Prolog Bridge)
--with-xpce Enable XPCE (Prolog Native GUI Library)
--with-libarchive Build with libarchive support

Depends on:

readline 7.0.3 Library for command-line editing
gmp 6.1.2 GNU multiple precision arithmetic library
openssl 1.0.2o SSL/TLS cryptography library

Depends on optionally:

libarchive 3.3.2 Multi-format archive and compression library

Depends on when building from source:

pkg-config 0.29.2 Manage compile and link flags for libraries

JSON API for swi-prolog

Formula code on GitHub

Fork me on GitHub