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/95qc4rgazya4a6szvnnl9n8b12jqb5bq-swi-prolog-8.1.21.drv | ||
mips64el-linux | /gnu/store/s25knqg4plmjmh688f6874vpj0ws4b0g-swi-prolog-8.1.21.drv | ||
i686-linux | /gnu/store/7qarcm24bsbbyjyvyrp2q4li5m54vjcl-swi-prolog-8.1.21.drv | ||
armhf-linux | /gnu/store/2gpx3jl1wnfmal04b17jxqzis2yclv0k-swi-prolog-8.1.21.drv | ||
aarch64-linux | /gnu/store/ggv8gvmsv2mgj8yrh76xw5dza07fv28w-swi-prolog-8.1.21.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |