Install yap by entering the following commands in the terminal:
sudo apt update sudo apt install yap
Description:
High-performance Prolog System
High-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. The YAP Prolog engine is based in the Warren Abstract Machine, with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog. . YAP features a constraint solver over real numbers, and support for constraint handling rules (CHR).
Homepage: http://www.dcc.fc.up.pt/~vsc/Yap/
Version: 6.2.2-6build1
Section: universe/devel