Install swi-prolog-doc by entering the following commands in the terminal:
sudo apt update sudo apt install swi-prolog-doc
Description:
Documentation for SWI-Prolog interpreter and XPCE
SWI-Prolog is a Prolog implementation based on a subset of the WAM. It is accompanied by XPCE, a symbolic programming environment for user interfaces. . This package contains the documentation in PDF and HTML format for SWI-Prolog and XPCE/Prolog.
Homepage: http://www.swi-prolog.org
Version: 5.6.59-2
Section: universe/doc