swi-prolog
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.
- Versions: 9.3.8
- Website: https://www.swi-prolog.org/
- Licenses: FreeBSD
- Package source: gnu/packages/prolog.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of swi-prolog as follows:
guix install swi-prolog
Or install a particular version:
guix install swi-prolog@9.3.8
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of swi-prolog about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/swi-prolog'><img src='https://packages.guix.gnu.org/packages/swi-prolog/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/swi-prolog)
Example Org:
[[https://packages.guix.gnu.org/packages/swi-prolog][https://packages.guix.gnu.org/packages/swi-prolog/badges/latest-version.svg]]