Homebrew Formulae

swi-prolog

ISO/Edinburgh-style Prolog interpreter

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

/api/formula/swi-prolog.json (JSON API)

Formula code on GitHub

Current versions:

stable	✅	7.6.4
head	⚡️	HEAD
bottle	🍾	mojave, high_sierra, sierra

Revision: 1

Depends on:

gmp	✅	6.1.2	GNU multiple precision arithmetic library
libarchive	✅	3.3.3	Multi-format archive and compression library
openssl	✅	1.0.2q	SSL/TLS cryptography library
readline	✅	8.0.0	Library for command-line editing

Depends on when building from source:

pkg-config

✅

0.29.2

Manage compile and link flags for libraries

Analytics:

Installs (30 days)
swi-prolog	1,365
swi-prolog --HEAD	110
Installs on Request (30 days)
swi-prolog	1,269
swi-prolog --HEAD	111
Build Errors (30 days)
swi-prolog	28
swi-prolog --HEAD	1
Installs (90 days)
swi-prolog	4,119
swi-prolog --HEAD	360
swi-prolog --HEAD --with-xpce --with-libarchive	19
swi-prolog --with-libarchive	18
swi-prolog --with-xpce	10
swi-prolog --with-jpl --with-xpce --with-libarchive	9
swi-prolog --HEAD --with-xpce	6
swi-prolog --with-jpl	6
swi-prolog --with-jpl --with-libarchive	4
swi-prolog --with-xpce --with-libarchive	3
swi-prolog --HEAD --with-jpl --with-libarchive	2
swi-prolog --HEAD --with-libarchive	2
swi-prolog --with-jpl --with-xpce	2
Installs on Request (90 days)
swi-prolog	3,755
swi-prolog --HEAD	360
swi-prolog --HEAD --with-xpce --with-libarchive	19
swi-prolog --with-libarchive	17
swi-prolog --with-xpce	10
swi-prolog --with-jpl --with-xpce --with-libarchive	9
swi-prolog --HEAD --with-xpce	6
swi-prolog --with-jpl	6
swi-prolog --with-jpl --with-libarchive	4
swi-prolog --with-xpce --with-libarchive	3
swi-prolog --HEAD --with-jpl --with-libarchive	2
swi-prolog --HEAD --with-libarchive	2
swi-prolog --with-jpl --with-xpce	2
Installs (365 days)
swi-prolog	12,450
swi-prolog --HEAD	1,171
swi-prolog --devel --with-xpce --with-libarchive	123
swi-prolog --with-libarchive	97
swi-prolog --with-xpce	57
swi-prolog --devel --with-jpl --with-xpce --with-libarchive	53
swi-prolog --with-jpl	49
swi-prolog --HEAD --with-xpce	40
swi-prolog --with-jpl --with-xpce --with-libarchive	40
swi-prolog --devel	38
swi-prolog --devel --with-xpce	37
swi-prolog --HEAD --with-xpce --with-libarchive	24
swi-prolog --with-xpce --with-libarchive	18
swi-prolog --with-jpl --with-libarchive	17
swi-prolog --devel --with-jpl	16
swi-prolog --devel --with-libarchive	13
swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive	13
Installs on Request (365 days)
swi-prolog	11,384
swi-prolog --HEAD	1,127
swi-prolog --devel --with-xpce --with-libarchive	120
swi-prolog --with-libarchive	94
swi-prolog --devel --with-jpl --with-xpce --with-libarchive	53
swi-prolog --with-jpl	49
swi-prolog --with-xpce	49
swi-prolog --HEAD --with-xpce	40
swi-prolog --with-jpl --with-xpce --with-libarchive	39
swi-prolog --devel	33
swi-prolog --HEAD --with-xpce --with-libarchive	24
swi-prolog --devel --with-xpce	22
swi-prolog --with-jpl --with-libarchive	16
swi-prolog --with-xpce --with-libarchive	16
swi-prolog --devel --with-jpl	15
swi-prolog --devel --with-libarchive	13
swi-prolog --HEAD --with-libarchive	12