The YAP Prolog system

• Type: Article in International Scientific Journal
• Date: 2012

Authors

Vitor Santos Costa (Author) FCUP; Ricardo Rocha (Author) FCUP; Luis Damas (Author) Other

Journal

Title: Theory and Practice of Logic Programming

Vol. 12

Pages: 5-34

ISSN: 1471-0684

Publisher: Cambridge University Press

Indexing

ISI Web of Knowledge - 74 Citations

Scopus - 100 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-002-H4D

DOI: 10.1017/s1471068411000512

Abstract (EN): Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general structure and design of the YAP system, focusing on three important contributions to the Logic Programming community. First, it describes the main techniques used in YAP to achieve an efficient Prolog engine. Second, most Logic Programming systems have a rather limited indexing algorithm. YAP contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer. Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 30