swi-prolog
ISO/Edinburgh-style Prolog interpreter
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 |
Formula code on GitHub
