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