swi-prolog

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

Current versions
7.6.4
7.7.7
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_1 GNU multiple precision arithmetic library
openssl 1.0.2n SSL/TLS cryptography library
libarchive 3.3.2 Multi-format archive and compression library

Recent formula history

ilovezfs swi-prolog 7.6.4
ilovezfs swi-prolog 7.7.7 (devel) (#22191)
ilovezfs swi-prolog 7.6.3, 7.7.4 (devel)
ilovezfs swi-prolog 7.7.3 (devel) (#20982)
ilovezfs swi-prolog 7.6.2

Formula code at GitHub