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/c1ha4jz8inbgcncif52h2ilhywpnbaqm-swi-prolog-8.3.20.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/8d94w9ydkm0yc9z24hkf20cxn2dpg761-swi-prolog-8.3.20.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/ckdyn5ajpjkmbq821k5f843zgf538vip-swi-prolog-8.3.20.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/7r4af0p6kpbvx1kpsfixil88zb3b6733-swi-prolog-8.3.20.drv | |
powerpc-linux | /gnu/store/1gl2d4dgwizl3gm75ic6cdcyl1g7aadx-swi-prolog-8.3.20.drv | ||
powerpc64le-linux | /gnu/store/ghlwxiy5qlzx8p8ask4i84vs55h6gpc8-swi-prolog-8.3.20.drv | ||
mips64el-linux | /gnu/store/iib36dbx1xrwlf097k1wg3kkmgmwd6q7-swi-prolog-8.3.20.drv | ||
i686-linux | /gnu/store/vzbzps4ya29fc2xh12v7kvjka0cpgi2i-swi-prolog-8.3.20.drv | ||
i586-gnu | /gnu/store/d8sdf56mqvy65q7mhx51pqdk15i1n0gi-swi-prolog-8.3.20.drv | ||
armhf-linux | /gnu/store/znv5ny24qpa1ajiyym4rynj5863q8nwm-swi-prolog-8.3.20.drv | ||
aarch64-linux | /gnu/store/6x8wb85n0xwxynqmp0swzl9b96m75jq6-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' |