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/g0xl51gvf93hrvinqr3lvncdyv7v3izp-swi-prolog-8.3.20.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/78za7kcim6bya73n40ysi07z533lh9qk-swi-prolog-8.3.20.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/7bc5dhh9cbgl48kzk9khqxc3v26r0b8c-swi-prolog-8.3.20.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/8gi07jxd9fc70w0kknilbqp4dl4w009w-swi-prolog-8.3.20.drv | |
powerpc64le-linux | /gnu/store/75vf2k1mk021kmsckhvc1dxkymxs5pyk-swi-prolog-8.3.20.drv | ||
mips64el-linux | /gnu/store/4pfjp7jmpwapla2lpyvrqzi0m1vw5rcn-swi-prolog-8.3.20.drv | ||
i686-linux | /gnu/store/qqqgsbnzdzh6g0v7my7rb61rnna3497q-swi-prolog-8.3.20.drv | ||
i586-gnu | /gnu/store/2di265q5g9d46jq0mqjp8fj6wqlb2xqi-swi-prolog-8.3.20.drv | ||
armhf-linux | /gnu/store/kxcgb5iyskg26dra44l95jf0cdcm3jf9-swi-prolog-8.3.20.drv | ||
aarch64-linux | /gnu/store/6ck8yid0ns0yy73krn23l1qi2naqj6g6-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 |