Install gprolog-doc by entering the following commands in the terminal:
sudo apt update sudo apt install gprolog-doc
Description:
documentation for the GNU Prolog compiler
GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD). . This package contains the documentation (PDF and HTML) for GNU Prolog.
Homepage: http://www.gprolog.org/
Version: 1.4.5-4.1
Section: universe/doc