swi-prolog 9.3.8

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.

Outputs: out
Website: https://www.swi-prolog.org/
Licenses: FreeBSD
Package source: gnu/packages/prolog.scm
Builds: See build status
Issues: See known issues

Installation

Install swi-prolog 9.3.8 as follows:

guix install swi-prolog@9.3.8

Or install the latest version:

guix install swi-prolog

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.