YAP (Prolog)
From Wikipedia, the free encyclopedia
(Redirected from YAP-Prolog)
Page Module:Message box/ambox.css has no content.
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2012) |
Page Module:Infobox/styles.css has no content.
| YAP Prolog | |
|---|---|
| Operating system | Linux, Windows, Solaris, Mac OS X |
| Platform | Programming language |
| License | Perl Artistic License 2.0 |
| Website | www |
| Repository | github |
Script error: No such module "Check for conflicting parameters".
YAP is an open-source, high-performance implementation of the Prolog programming language 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 Prolog and SICStus Prolog. YAP has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on m68k-based machines.
