gprolog - 1.4.5.0-3 main

GNU Prolog is a free Prolog compiler with constraint solving over
finite domains (FD). GNU Prolog is largely compliant with the ISO
standard and is part of the Prolog Commons initiative.
.
This package contains the compiler and runtime system for the ISO
standard version of GNU Prolog, including the prototype modules
implementation.