swi-prolog

ISO/Edinburgh-style Prolog interpreter
http://www.swi-prolog.org/

Current versions
7.4.2
7.5.14
HEAD

swi-prolog requires the following formulae to be installed:
pkg-config 0.29.2 Manage compile and link flags for libraries
readline 7.0.3_1 Library for command-line editing
gmp 6.1.2 GNU multiple precision arithmetic library
openssl 1.0.2l SSL/TLS cryptography library
libarchive 3.3.2 Multi-format archive and compression library

Reverse dependencies

The following formula requires swi-prolog to be installed:
des 4.2 Datalog Educational System

Formula history

ilovezfs swi-prolog 7.5.14 (devel) (#17513)
equal-l2 swi-prolog 7.5.10 (devel) (#14982)
ilovezfs swi-prolog 7.4.2, 7.5.6 (devel)
Hongxin Liang swi-prolog 7.4.1
Hongxin Liang swi-prolog 7.5.0 (devel)
ilovezfs swi-prolog: revision for unixodbc
Mike McQuaid swi-prolog: remove unused fails_with :llvm.
Hongxin Liang swi-prolog 7.3.32 (devel)
Hongxin Liang swi-prolog 7.3.30 (devel) (#6873)
Hongxin Liang swi-prolog 7.3.28 (devel) (#5547)
Show all revisions of this formula