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