Install swi-prolog by entering the following commands in the terminal:
sudo apt update sudo apt install swi-prolog
Description:
ISO/Edinburgh-style Prolog interpreter
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it. . SWI-Prolog additionally offers: . * A powerful module system * Garbage collection * Unicode character set handling * Unbounted integer and rational number arithmetic * Multithreading support * A powerful C/C++ interface * GNU Readline interface . This is a metapackage, it installs full SWI-Prolog suit (except ODBC and Berkeley DB support).
Homepage: http://www.swi-prolog.org
Version: 7.6.4+dfsg-1build1
Section: universe/interpreters