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.
- Website: https://www.gnu.org/software/gprolog/
- Licenses: GPL 2+ · LGPL 3+
- Package source: gnu/packages/prolog.scm
- Builds: See build status
- Issues: See known issues
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.