swi-prolog 10.0.2-1
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra |
| Description: | Prolog environment |
| Upstream URL: | https://www.swi-prolog.org |
| License(s): | BSD-2-Clause |
| Maintainers: |
Alexander Rødseth |
| Package Size: | 6.1 MB |
| Installed Size: | 27.7 MB |
| Last Packager: | Alexander Rødseth |
| Build Date: | 2026-03-23 18:01 UTC |
| Signed By: | Alexander Rødseth |
| Signature Date: | 2026-03-23 18:35 UTC |
| Last Updated: | 2026-03-23 18:37 UTC |
Dependencies (25)
- db5.3
- gperftools
- libarchive
- libxcrypt
- libyaml
- qt5-base
- util-linux-libs
- java-runtime (jre8-openjdk, jdk-openjdk, jre-openjdk, jdk11-openjdk, jre11-openjdk, jdk17-openjdk, jre17-openjdk, jdk21-openjdk, jre21-openjdk, jdk25-openjdk, jre25-openjdk) (optional) - for using Prolog from Java
- jdk-openjdk (optional) - for using Prolog from Java
- libjpeg (libjpeg-turbo) (optional) - for using the pl2xpce library
- libxft (optional) - for using the pl2xpce library
- libxinerama (optional) - for using the pl2xpce library
- libxpm (optional) - for using the pl2xpce library
- python (optional) - for using Prolog from Python
- unixodbc (optional) - for using the odbc4pl library
- cmake (make)
- jdk-openjdk (make)
- libjpeg-turbo (make)
- libxft (make)
- libxinerama (make)
- libxpm (make)
- python-protobuf (make)
- unixodbc (make)
- java-hamcrest (check)
- junit (check)
Required By (1)
- ppl (optional)