swi-prolog 10.0.2 maintained
Prolog compiler and interpreter
- Name
swi-prolog-10.0.2- Package set
- top-level
- Homepage
- https://www.swi-prolog.org
- License
- BSD-2-Clause
- Main program
swipl- Source
- pkgs/by-name/sw/swi-prolog/package.nix:179
- Derivation
/nix/store/f4kpm5pjfxpj6syxr9sqcl25vkk8jcms-swi-prolog-10.0.2.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| matko | Maren van Otterdijk | GitHub · maren.van.otterdijk@gmail.com | listed on package |
| meditans | Carlo Nucera | GitHub · meditans@gmail.com | listed on package |
Dependencies 17
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| db 5.3.28 | buildInputs | 8,313 | unmaintained | |
| gmp 6.3.0 | buildInputs | 49,029 | single | |
| gperftools 2.18.1 | buildInputs | 2,299 | single | |
| jdk 21.0.12.1+1 | buildInputs | 1,183 | maintained | |
| libarchive 3.8.9 | buildInputs | 68,683 | single | |
| libedit 20260508-3.1 | buildInputs | 68,716 | single outdated | |
| libxcrypt 4.5.2 | buildInputs | 80,108 | maintained | |
| libyaml 0.2.5 | buildInputs | 27,205 | unmaintained | |
| openssl 3.5.8 | buildInputs | 76,598 | maintained outdated | |
| pcre2 10.48 | buildInputs | 102,163 | unmaintained outdated | |
| python3 3.14.7 | buildInputs | 72,272 | team-only outdated | |
| unixodbc 2.3.14 | buildInputs | 3,083 | single | |
| zlib 1.3.2 | buildInputs | 102,161 | team-only | |
| cmake 4.4.3 | nativeBuildInputs | 68,621 | unmaintained outdated | |
| ninja 1.13.2 | nativeBuildInputs | 67,851 | maintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 4 directly, 4 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ape 2019-08-10 | buildInputs | 0 | single | |
| apeClex 2019-08-10 | buildInputs | 0 | single | |
| pakcs 3.9.0 | buildInputs | 0 | single | |
| tptp 9.1.0 | buildInputs | 0 | single unfree |