gprolog 1.4.5.0-3 (amd64 binary) in ubuntu mantic

 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.