blob: 38de724fc23a3028c036e6b8f49edcbc104349f6 (
plain) (
blame)
1
2
3
4
5
6
7
|
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.
WWW: http://www.ncc.up.pt/~vsc/Yap/
|