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/qnr3pcb36fn5w5gq44r9y07acn73d45j-swi-prolog-8.3.20.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/nm0awfp0xyr30vpml5gpnr9h4rs8dykx-swi-prolog-8.3.20.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/aw0i9skrkdlgha2a9q4k7rybb64nfaiw-swi-prolog-8.3.20.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/ivh333g5yf39xnl8sn3v40dws7lmcsh6-swi-prolog-8.3.20.drv | |
powerpc64le-linux | /gnu/store/i4hgsc2ykqsvg7x0js71aqaf617whmck-swi-prolog-8.3.20.drv | ||
mips64el-linux | /gnu/store/l4isv7l6asadn35liw0ji8kd691vas5h-swi-prolog-8.3.20.drv | ||
i686-linux | /gnu/store/arz0inpdcla893xrjrrg1nlbvfs1a0xv-swi-prolog-8.3.20.drv | ||
i586-gnu | /gnu/store/bm0pqk7iw8pws5azhw782q352i3qwv6p-swi-prolog-8.3.20.drv | ||
armhf-linux | /gnu/store/3x448mfnnr5vw1ng06kzkgpb0fh84hgp-swi-prolog-8.3.20.drv | ||
aarch64-linux | /gnu/store/l0rsv1xrfn8c917jwg22qw1b0pvvqirr-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 |