YAP 7.1.0
YAP 7.1.0 Reference Manual

The YAP Logo

NOTE: this version of YAP is still experimental, documentation may be missing or out of date


This document provides User information on version 7.1.0 of YAP (Yet Another Prolog) The YAP Prolog System is a high-performance Prolog compiler developed at Universidade do Porto

The manual is organised as follows:

Vitor Santos Costa,
Luís Damas,
Rogério Reis
Rúben Azevedo

© 1989-2020 L Damas, V Santos Costa and Universidade do Porto Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies Permission is granted to copy and distribute modified versions of this manual under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions

This manual was written by Vítor Santos Costa, Luís Damas, Rogério Reis, and Rúben Azevedo The manual is largely based on the DECsystem-10 Prolog User's Manual by D.L Bowen, L Byrd, F C N Pereira, L M Pereira, and D H D Warren We have used comments from the Edinburgh Prolog library written by R O'Keefe Documentation from many built-ins is originally from the SWI-Prolog manual, with the gracious authorization from Jan Wielemaker We would also like to gratefully acknowledge the contributions from Ashwin Srinivasian