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.2p	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,075
`swi-prolog --HEAD`	92
`swi-prolog --with-libarchive`	10
`swi-prolog --with-jpl`	6
`swi-prolog --with-xpce`	6
`swi-prolog --with-jpl --with-xpce --with-libarchive`	5
`swi-prolog --devel --with-xpce --with-libarchive`	4
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	3
`swi-prolog --devel --with-libarchive`	3
`swi-prolog --devel`	2
`swi-prolog --devel --with-xpce`	2
`swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive`	2
`swi-prolog --HEAD --with-xpce`	2
`swi-prolog --with-jpl --with-xpce`	2
Installs on Request (30 days)
`swi-prolog`	1,033
`swi-prolog --HEAD`	92
`swi-prolog --with-libarchive`	10
`swi-prolog --with-jpl`	6
`swi-prolog --with-jpl --with-xpce --with-libarchive`	5
`swi-prolog --devel --with-xpce --with-libarchive`	4
`swi-prolog --with-xpce`	4
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	3
`swi-prolog --devel --with-libarchive`	3
`swi-prolog --devel`	2
`swi-prolog --devel --with-xpce`	2
`swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive`	2
`swi-prolog --HEAD --with-xpce`	2
`swi-prolog --with-jpl --with-xpce`	2
Build Errors (30 days)
`swi-prolog`	0
Installs (90 days)
`swi-prolog`	2,177
`swi-prolog --HEAD`	204
`swi-prolog --devel --with-xpce --with-libarchive`	25
`swi-prolog --with-libarchive`	18
`swi-prolog --with-jpl`	12
`swi-prolog --with-xpce`	12
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	10
`swi-prolog --devel --with-xpce`	7
`swi-prolog --with-jpl --with-xpce --with-libarchive`	7
`swi-prolog --with-xpce --with-libarchive`	6
`swi-prolog --devel --with-jpl`	5
`swi-prolog --devel --with-libarchive`	4
`swi-prolog --HEAD --with-xpce`	4
`swi-prolog --devel`	3
`swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive`	3
`swi-prolog --with-jpl --with-xpce`	3
Installs on Request (90 days)
`swi-prolog`	2,049
`swi-prolog --HEAD`	193
`swi-prolog --devel --with-xpce --with-libarchive`	24
`swi-prolog --with-libarchive`	17
`swi-prolog --with-jpl`	12
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	10
`swi-prolog --with-xpce`	10
`swi-prolog --with-jpl --with-xpce --with-libarchive`	7
`swi-prolog --with-xpce --with-libarchive`	6
`swi-prolog --devel --with-jpl`	5
`swi-prolog --devel --with-xpce`	5
`swi-prolog --devel --with-libarchive`	4
`swi-prolog --HEAD --with-xpce`	4
`swi-prolog --with-jpl --with-xpce`	3
Installs (365 days)
`swi-prolog`	14,875
`swi-prolog --HEAD`	1,181
`swi-prolog --devel --with-xpce --with-libarchive`	129
`swi-prolog --with-libarchive`	117
`swi-prolog --with-xpce`	100
`swi-prolog --with-jpl`	93
`swi-prolog --with-jpl --with-xpce --with-libarchive`	79
`swi-prolog --devel`	72
`swi-prolog --devel --with-xpce`	66
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	58
`swi-prolog --with-jpl --with-xpce`	37
`swi-prolog --HEAD --with-xpce`	35
`swi-prolog --devel --with-jpl`	34
`swi-prolog --with-xpce --with-libarchive`	30
`swi-prolog --with-jpl --with-libarchive`	24
`swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive`	19
`swi-prolog --devel --with-libarchive`	18
Installs on Request (365 days)
`swi-prolog`	12,025
`swi-prolog --HEAD`	1,116
`swi-prolog --devel --with-xpce --with-libarchive`	125
`swi-prolog --with-libarchive`	108
`swi-prolog --with-jpl`	90
`swi-prolog --with-xpce`	72
`swi-prolog --devel`	63
`swi-prolog --devel --with-jpl --with-xpce --with-libarchive`	58
`swi-prolog --with-jpl --with-xpce --with-libarchive`	48
`swi-prolog --devel --with-xpce`	42
`swi-prolog --HEAD --with-xpce`	35
`swi-prolog --with-jpl --with-xpce`	34
`swi-prolog --devel --with-jpl`	33
`swi-prolog --with-xpce --with-libarchive`	22
`swi-prolog --devel --with-libarchive`	18
`swi-prolog --with-jpl --with-libarchive`	18
`swi-prolog --devel --with-jpl --with-xpce`	14

Homebrew Formulae

swi-prolog