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/47h2d0mh0x8x5zvr4w4jrki03kp4h0z7-swi-prolog-8.3.20.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/36d8cszhg4ks1xjs3br4cin5d95mnlpn-swi-prolog-8.3.20.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/nwld18gyfdpc45fzc3zsgpyf5i7j0172-swi-prolog-8.3.20.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/bqy06sxn9vg62v45bjgq45mvwq2d91jp-swi-prolog-8.3.20.drv | |
powerpc64le-linux | /gnu/store/0rwq0qzv0iw33caa6lk9cgz2awyfbirq-swi-prolog-8.3.20.drv | ||
mips64el-linux | /gnu/store/ifhhxrbr63hvl6s4ljsd12wgijp9hap0-swi-prolog-8.3.20.drv | ||
i686-linux | /gnu/store/gl9dj8a9ylw82sks4h9xy1jnqy52mvbh-swi-prolog-8.3.20.drv | ||
i586-gnu | /gnu/store/4n9qp2mg2ddxxbnvq9gdqh3hjm9z40pa-swi-prolog-8.3.20.drv | ||
armhf-linux | /gnu/store/h92ff60a47nwqi2cb6i7lhiqkcsnk824-swi-prolog-8.3.20.drv | ||
aarch64-linux | /gnu/store/vjk36sfc24y697av4w1spvpyqn60cacm-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 |