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/2bhr61xfy67q3icy4czh2ac8z0gdpzr8-swi-prolog-8.3.20.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/d60a7cv98h70gkdvjbyd4pyicfm3a9a6-swi-prolog-8.3.20.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/sygnwdv88c8x7vzp3cb2zxmc0ki05m2j-swi-prolog-8.3.20.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/h6phak65jn5d1cqah4p73lz6bgmbf28p-swi-prolog-8.3.20.drv | |
powerpc64le-linux | /gnu/store/06zijw7z8bmi3amak0hs90mw49r923cb-swi-prolog-8.3.20.drv | ||
mips64el-linux | /gnu/store/hyk76rsrq8xky7jsfly46q8gsr4s5ds9-swi-prolog-8.3.20.drv | ||
i686-linux | /gnu/store/i7vhv27a6fss7jghxmjsaywrlrnhrjsg-swi-prolog-8.3.20.drv | ||
i586-gnu | /gnu/store/3343mz4g5403m0k8vpb5q9wz4mrfa4xh-swi-prolog-8.3.20.drv | ||
armhf-linux | /gnu/store/ffg0kgvpbpf2vizq93k4dyd4pvvk0w9f-swi-prolog-8.3.20.drv | ||
aarch64-linux | /gnu/store/fnim7c0cskg41bgdvrrnh5x793257rhq-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 |