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, 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
Fork me on GitHub