GNU Prolog is a free Prolog compiler
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,...). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 1.5.0-3.fc35 | - |
Fedora 35 | 1.5.0-3.fc35 | - |
Fedora 34 | 1.4.5-7.fc34 | - |
EPEL 7 | 1.4.4-1.el7 | - |
You can contact the maintainers of this package via email at
gprolog dash maintainers at fedoraproject dot org
.