gprolog 1.4.5 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/
- License: GPL 2+, LGPL 3+
- Package source: prolog.scm
- Patches: None
- Builds: x86_64-linux, i686-linux