swi-prolog 8.3.5 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.
- Website: https://www.swi-prolog.org/
- License: FreeBSD
- Package source: prolog.scm
- Patches: None
- Builds: x86_64-linux, i686-linux