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.