yap

High-performance Prolog System

Description

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).

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V


Homepage

http://www.dcc.fc.up.pt/~vsc/Yap/


Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install yap

Cookies help us deliver our services. By using our services, you agree to our use of cookies. Learn more