swi-prolog
ISO/Edinburgh-style Prolog interpreter
/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.3 | 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 |
726 |
swi-prolog --HEAD |
97 |
swi-prolog --devel --with-xpce --with-libarchive |
66 |
swi-prolog --HEAD --with-xpce |
23 |
swi-prolog --devel --with-jpl --with-xpce --with-libarchive |
18 |
swi-prolog --devel --with-xpce |
10 |
swi-prolog --with-libarchive |
10 |
swi-prolog --devel |
9 |
swi-prolog --with-jpl |
9 |
swi-prolog --HEAD --with-jpl |
6 |
swi-prolog --with-jpl --with-xpce --with-libarchive |
5 |
swi-prolog --devel --with-jpl |
4 |
swi-prolog --with-xpce |
4 |
swi-prolog --devel --with-jpl --with-xpce |
3 |
swi-prolog --devel --with-libarchive |
3 |
swi-prolog --HEAD --with-jpl --with-xpce --with-libarchive |
3 |
swi-prolog --HEAD --with-libarchive |
3 |
swi-prolog --HEAD --with-xpce --with-libarchive |
3 |
swi-prolog --with-xpce --with-libarchive |
3 |
swi-prolog --HEAD --with-jpl --with-xpce |
2 |
| Installs on Request (30 days) | |
swi-prolog |
668 |
swi-prolog --HEAD |
86 |
swi-prolog --devel --with-xpce --with-libarchive |
66 |
swi-prolog --HEAD --with-xpce |
23 |
swi-prolog --devel --with-jpl --with-xpce --with-libarchive |
18 |
swi-prolog --with-libarchive |
10 |
swi-prolog --with-jpl |
9 |
swi-prolog --devel |
8 |
swi-prolog --devel --with-xpce |
6 |
swi-prolog --HEAD --with-jpl |
6 |
swi-prolog --with-jpl --with-xpce --with-libarchive |
5 |
swi-prolog --devel --with-jpl |
4 |
swi-prolog --devel --with-jpl --with-xpce |
3 |
swi-prolog --devel --with-libarchive |
3 |
swi-prolog --HEAD --with-libarchive |
3 |
swi-prolog --HEAD --with-xpce --with-libarchive |
3 |
swi-prolog --with-xpce |
3 |
swi-prolog --with-xpce --with-libarchive |
3 |
swi-prolog --HEAD --with-jpl --with-xpce |
2 |
| Build Errors (30 days) | |
swi-prolog --HEAD |
4 |
swi-prolog --devel --with-xpce --with-libarchive |
3 |
swi-prolog --devel |
2 |
swi-prolog --devel --with-jpl --with-xpce --with-libarchive |
1 |
| 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 |
