ISO/Edinburgh-style Prolog interpreter
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/gnyc0wla53xgs1ahh41zli5qbdcwnf55-swi-prolog-8.3.20.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/xjgqbvhqfav8kyfh7igdr948yn4nq571-swi-prolog-8.3.20.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/h1xldnghcsm8rvs61nhm7bkxcdcfgva6-swi-prolog-8.3.20.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/y5kfx053r3y7kfxrqxff01ij4w9ak4jy-swi-prolog-8.3.20.drv | |
powerpc-linux | /gnu/store/j4xy5wsb0bq3k34w7262dj4kw22cwvzp-swi-prolog-8.3.20.drv | ||
powerpc64le-linux | /gnu/store/sy7vqfnx0mxmqfdjk6f37vi21idlzw42-swi-prolog-8.3.20.drv | ||
mips64el-linux | /gnu/store/2k21w162x9i4hwadvmmfx01mfj93djyz-swi-prolog-8.3.20.drv | ||
i686-linux | /gnu/store/p79r28jgmv0iw9zprax9iwb7am4cia36-swi-prolog-8.3.20.drv | ||
i586-gnu | /gnu/store/p0hw9xww1fkgy602wnpaq9gcii5a72vz-swi-prolog-8.3.20.drv | ||
armhf-linux | /gnu/store/j3hglb2mbpqknhn3z5ij56v51x8vg5wc-swi-prolog-8.3.20.drv | ||
aarch64-linux | /gnu/store/6khq6z01wd9x1x4k3zd35jvkzzljfjrv-swi-prolog-8.3.20.drv |
Linter | Message | Location |
---|---|---|
tests-true Check if tests are explicitly enabled | #:tests? must not be explicitly set to #t | |
input-labels Identify input labels that do not match package names | label 'libjpeg' does not match package name 'libjpeg-turbo' | |
input-labels Identify input labels that do not match package names | label 'fontconfig' does not match package name 'fontconfig-minimal' |