Package: yap (5.1.3-4)
Links for yap
Download Source Package yap:
- Homepage [www.dcc.fc.up.pt]
The YAP Prolog System
YAP is a high-performance Prolog compiler developed at LIACC/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 features a constraint solver over real numbers, and support for constraint handling rules (CHR).
Other Packages Related to yap
- dep: libncurses5 (>= 5.6+20071006-3)
- shared libraries for terminal handling
- dep: libreadline6
- GNU sorolvasó és 'hisztori' futásidejű programkönyvtárak