YAP (Prólogo)

YAP es una implementación de código abierto y de alto rendimiento del lenguaje de programación Prolog, desarrollada en LIACC/ Universidade do Porto y en COPPE Sistemas/ UFRJ . Su motor Prolog se basa en la WAM ( Warren Abstract Machine ), con varias optimizaciones para un mejor rendimiento. YAP sigue la tradición de Edimburgo y es ampliamente compatible con el estándar ISO-Prolog, así como con Quintus Prolog y SICStus Prolog . YAP se ha desarrollado desde 1985. La versión original fue escrita en lenguaje ensamblador, C y Prolog, y alcanzó un alto rendimiento en máquinas basadas en m68k .

• Comparación de implementaciones de Prolog
• Sintaxis y semántica de Prolog