YAP Prolog
Encyclopedia
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 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.
Open source
The term open source describes practices in production and development that promote access to the end product's source materials. Some consider open source a philosophy, others consider it a pragmatic methodology...
, high-performance implementation of the Prolog
Prolog
Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of...
programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
developed at LIACC/Universidade do Porto
University of Porto
The University of Porto is a Portuguese public university located in Porto, and founded 22 March 1911. It is the largest Portuguese university by number of enrolled students and has one of the most noted research outputs in Portugal...
and at COPPE Sistemas/UFRJ
Universidade Federal do Rio de Janeiro
The Federal University of Rio de Janeiro is one of the largest federal universities of Brazil, where public universities comprise the majority of the best and most qualified institutions...
. Its Prolog engine is based in the WAM (Warren Abstract Machine
Warren abstract machine
In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This design became known as the Warren Abstract Machine and has become the de facto standard target for Prolog compilers.-Purpose:The purpose of...
), 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 has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on m68k-based machines.