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
devel 🛠 7.6.4
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan

Options:

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

Depends on:

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

Depends on optionally:

libarchive 3.3.2 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 424
swi-prolog --HEAD 38
swi-prolog --devel --with-xpce --with-libarchive 7
swi-prolog --devel --with-jpl --with-xpce --with-libarchive 6
swi-prolog --with-xpce 6
swi-prolog --with-jpl 5
swi-prolog --devel --with-xpce 4
swi-prolog --with-libarchive 4
swi-prolog --with-xpce --with-libarchive 4
swi-prolog --devel --with-jpl 3
swi-prolog --with-jpl --with-libarchive 2
swi-prolog --with-jpl --with-xpce --with-libarchive 2
Installs on Request (30 days)
swi-prolog 380
swi-prolog --HEAD 32
swi-prolog --devel --with-xpce --with-libarchive 7
swi-prolog --devel --with-jpl --with-xpce --with-libarchive 6
swi-prolog --with-jpl 5
swi-prolog --with-xpce 4
swi-prolog --with-xpce --with-libarchive 4
swi-prolog --devel --with-jpl 3
swi-prolog --devel --with-xpce 3
swi-prolog --with-libarchive 3
swi-prolog --with-jpl --with-xpce --with-libarchive 2
Build Errors (30 days)
swi-prolog 0
Installs (90 days)
swi-prolog 3,613
swi-prolog --HEAD 340
swi-prolog --with-libarchive 36
swi-prolog --devel 19
swi-prolog --with-jpl 15
swi-prolog --with-xpce 13
swi-prolog --devel --with-xpce 12
swi-prolog --devel --with-jpl --with-xpce --with-libarchive 11
swi-prolog --with-jpl --with-libarchive 6
swi-prolog --devel --with-jpl 5
swi-prolog --with-jpl --with-xpce --with-libarchive 5
swi-prolog --devel --with-xpce --with-libarchive 4
swi-prolog --HEAD --with-libarchive 4
Installs on Request (90 days)
swi-prolog 3,218
swi-prolog --HEAD 325
swi-prolog --with-libarchive 35
swi-prolog --devel 17
swi-prolog --with-jpl 15
swi-prolog --with-xpce 13
swi-prolog --devel --with-jpl --with-xpce --with-libarchive 11
swi-prolog --devel --with-xpce 8
swi-prolog --with-jpl --with-libarchive 6
swi-prolog --with-jpl --with-xpce --with-libarchive 5
swi-prolog --devel --with-jpl 4
swi-prolog --HEAD --with-libarchive 4
Installs (365 days)
swi-prolog 15,275
swi-prolog --HEAD 1,201
swi-prolog --with-libarchive 125
swi-prolog --with-xpce 104
swi-prolog --with-jpl 100
swi-prolog --devel 89
swi-prolog --with-jpl --with-xpce --with-libarchive 81
swi-prolog --devel --with-xpce 69
swi-prolog --with-jpl --with-xpce 40
swi-prolog --devel --with-jpl 32
swi-prolog --devel --with-jpl --with-xpce --with-libarchive 32
swi-prolog --devel --with-xpce --with-libarchive 26
swi-prolog --devel --with-libarchive 24
swi-prolog --with-jpl --with-libarchive 24
swi-prolog --with-xpce --with-libarchive 23
swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive 17
Installs on Request (365 days)
swi-prolog 11,872
swi-prolog --HEAD 1,148
swi-prolog --with-libarchive 113
swi-prolog --with-jpl 97
swi-prolog --devel 81
swi-prolog --with-xpce 73
swi-prolog --with-jpl --with-xpce --with-libarchive 46
swi-prolog --devel --with-xpce 45
swi-prolog --with-jpl --with-xpce 36
swi-prolog --devel --with-jpl 31
swi-prolog --devel --with-jpl --with-xpce --with-libarchive 30
swi-prolog --devel --with-xpce --with-libarchive 22
swi-prolog --devel --with-libarchive 20
swi-prolog --with-jpl --with-libarchive 19
swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive 14
Fork me on GitHub