This package browser is in early development. Mind the rough edges.

gprolog 1.5.0

Prolog compiler

GNU Prolog is a standards-compliant Prolog compiler with constraint solving over finite domains. It accepts Prolog+ constraint programs and produces a compiled, native binary which can function in a stand-alone manner. It also features an interactive interpreter.

Installation

Install gprolog 1.5.0 as follows:

guix install gprolog@1.5.0

Or install the latest version:

guix install gprolog

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.