Install gprolog by entering the following commands in the terminal:
sudo apt update sudo apt install gprolog
Description:
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.
Homepage: http://www.gprolog.org/
Version: 1.4.5-4.1
Section: universe/devel