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/rl1kbi98a89vsdn4z7dizfq4pd35cvsy-swi-prolog-8.3.10.drv | ||
| x86_64-linux | i586-pc-gnu | /gnu/store/qpjf7ka5s9mmpfjdkhjcgxyaw65bbq7x-swi-prolog-8.3.10.drv | |
| x86_64-linux | arm-linux-gnueabihf | /gnu/store/1fhmnjdj5dxr3z79rdx17cj38kc8i0ij-swi-prolog-8.3.10.drv | |
| x86_64-linux | aarch64-linux-gnu | /gnu/store/37bznjf5l293wp6jlqg9gpnl5c9bjq7f-swi-prolog-8.3.10.drv | |
| mips64el-linux | /gnu/store/1z8dqi7z6jq8xhd5rhddnh6s6r88lgvg-swi-prolog-8.3.10.drv | ||
| i686-linux | /gnu/store/6996wrzhbxshdzryp5maqmw6s91y4jh3-swi-prolog-8.3.10.drv | ||
| i586-gnu | /gnu/store/w454wl785mxzq4vqf90azfvjxhranx2m-swi-prolog-8.3.10.drv | ||
| armhf-linux | /gnu/store/mpx673nx02wwp3k89k2rxky9d453jw67-swi-prolog-8.3.10.drv | ||
| aarch64-linux | /gnu/store/73y15q2md6lvm51gwi8ypx421h9kq6sx-swi-prolog-8.3.10.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||