non port: lang/yap/files |
Number of commits found: 1 |
Wednesday, 3 Jul 2013
|
23:16 lippe
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.dcc.fc.up.pt/~vsc/Yap/
PR: ports/180068
Submitted by: Danilo Egea Gondolfo <danilogondolfo@gmail.com>
|
Number of commits found: 1 |