swi-prolog

ISO/Edinburgh-style Prolog interpreter

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

Current versions:

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

Options:

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

Depends on:

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

Depends on optionally:

libarchive

✅

3.3.3

Multi-format archive and compression library

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,162
`swi-prolog --HEAD`	138
`swi-prolog --with-libarchive`	12
`swi-prolog --with-xpce`	9
`swi-prolog --with-jpl --with-xpce --with-libarchive`	7
`swi-prolog --HEAD --with-xpce`	6
`swi-prolog --HEAD --with-xpce --with-libarchive`	6
`swi-prolog --with-xpce --with-libarchive`	3
`swi-prolog --with-jpl`	2
`swi-prolog --with-jpl --with-libarchive`	2
`swi-prolog --with-jpl --with-xpce`	2
`SWI-Prolog`	1
`swi-prolog --HEAD --with-jpl --with-xpce`	1
Installs on Request (30 days)
`swi-prolog`	1,129
`swi-prolog --HEAD`	136
`swi-prolog --with-libarchive`	12
`swi-prolog --with-xpce`	9
`swi-prolog --with-jpl --with-xpce --with-libarchive`	7
`swi-prolog --HEAD --with-xpce`	6
`swi-prolog --HEAD --with-xpce --with-libarchive`	6
`swi-prolog --with-xpce --with-libarchive`	3
`swi-prolog --with-jpl`	2
`swi-prolog --with-jpl --with-libarchive`	2
`swi-prolog --with-jpl --with-xpce`	2
`SWI-Prolog`	1
`swi-prolog --HEAD --with-jpl --with-xpce`	1
Build Errors (30 days)
`swi-prolog`	106
`swi-prolog --with-xpce`	6
`swi-prolog --with-libarchive --with-xpce`	4
`swi-prolog --with-jpl --with-xpce`	1
`swi-prolog --with-xpce --with-libarchive`	1
Installs (90 days)
`swi-prolog`	3,314
`swi-prolog --HEAD`	338
`swi-prolog --with-libarchive`	35
`swi-prolog --with-xpce`	23
`swi-prolog --with-jpl --with-xpce --with-libarchive`	17
`swi-prolog --HEAD --with-xpce`	12
`swi-prolog --with-jpl`	10
`swi-prolog --HEAD --with-xpce --with-libarchive`	8
`swi-prolog --with-xpce --with-libarchive`	7
`swi-prolog --devel --with-xpce --with-libarchive`	5
`swi-prolog --with-jpl --with-xpce`	5
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	3
`swi-prolog --devel --with-libarchive`	3
Installs on Request (90 days)
`swi-prolog`	3,211
`swi-prolog --HEAD`	336
`swi-prolog --with-libarchive`	35
`swi-prolog --with-xpce`	19
`swi-prolog --with-jpl --with-xpce --with-libarchive`	17
`swi-prolog --HEAD --with-xpce`	12
`swi-prolog --with-jpl`	10
`swi-prolog --HEAD --with-xpce --with-libarchive`	8
`swi-prolog --with-xpce --with-libarchive`	7
`swi-prolog --devel --with-xpce --with-libarchive`	5
`swi-prolog --with-jpl --with-xpce`	5
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	3
`swi-prolog --devel --with-libarchive`	3
Installs (365 days)
`swi-prolog`	12,103
`swi-prolog --HEAD`	1,117
`swi-prolog --devel --with-xpce --with-libarchive`	129
`swi-prolog --with-libarchive`	110
`swi-prolog --with-xpce`	75
`swi-prolog --with-jpl`	58
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	57
`swi-prolog --with-jpl --with-xpce --with-libarchive`	51
`swi-prolog --devel`	49
`swi-prolog --devel --with-xpce`	49
`swi-prolog --HEAD --with-xpce`	40
`swi-prolog --with-xpce --with-libarchive`	24
`swi-prolog --devel --with-jpl`	23
`swi-prolog --with-jpl --with-libarchive`	18
`swi-prolog --with-jpl --with-xpce`	17
`swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive`	15
Installs on Request (365 days)
`swi-prolog`	10,687
`swi-prolog --HEAD`	1,060
`swi-prolog --devel --with-xpce --with-libarchive`	125
`swi-prolog --with-libarchive`	106
`swi-prolog --with-xpce`	61
`swi-prolog --with-jpl`	58
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	57
`swi-prolog --devel`	41
`swi-prolog --with-jpl --with-xpce --with-libarchive`	41
`swi-prolog --HEAD --with-xpce`	40
`swi-prolog --devel --with-xpce`	31
`swi-prolog --devel --with-jpl`	22
`swi-prolog --with-xpce --with-libarchive`	20
`swi-prolog --with-jpl --with-libarchive`	16
`swi-prolog --with-jpl --with-xpce`	16

Homebrew Formulae

swi-prolog