YAP is a high-performance Prolog compiler developed at CRACS/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (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 is a high-performance Prolog compiler developed at CRACS/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (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.
To install yap, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install yap
To see what files were installed by yap, run:
port contents yap
To later upgrade yap, run:
sudo port selfupdate && sudo port upgrade yap
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.