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/m94nnjlhdgaj8iy4a751pv3c59bs87wm-swi-prolog-8.3.20.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/1rhmri232bmm63bimr17mw3kzhq60jhr-swi-prolog-8.3.20.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/rzdib5si498libjpd4bh57lahq99jivr-swi-prolog-8.3.20.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/jvws08b2z87z6zrvig4a9ckdm4zkciz2-swi-prolog-8.3.20.drv | |
powerpc64le-linux | /gnu/store/zrp4slc0lrhmbh9fn4lbzqp70n6qby36-swi-prolog-8.3.20.drv | ||
mips64el-linux | /gnu/store/kp9nnrb14ydmm4b3h35xkl9lf2p4ampq-swi-prolog-8.3.20.drv | ||
i686-linux | /gnu/store/ad83iam9pskfimm53scma145gvnni1sj-swi-prolog-8.3.20.drv | ||
i586-gnu | /gnu/store/2rm1yklr6b0zkv15pbfvbmvag60fzgb3-swi-prolog-8.3.20.drv | ||
armhf-linux | /gnu/store/wlvq0ydjx90apblk8sr4w9lmhwjsix5l-swi-prolog-8.3.20.drv | ||
aarch64-linux | /gnu/store/qw97780v2xwailb9hr0vsnimjyjimiff-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 | |
tests-true Check if tests are explicitly enabled | #:tests? must not be explicitly set to #t |