Binary package “gprolog” in ubuntu kinetic
GNU Prolog compiler
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.