The YAP Prolog system

• Tipo: Artigo em Revista Científica Internacional
• Data: 2012

Autores

Vitor Santos Costa (Autor) FCUP; Ricardo Rocha (Autor) FCUP; Luis Damas (Autor) Outra

Revista

Título: Theory and Practice of Logic Programming

Vol. 12

Páginas: 5-34

ISSN: 1471-0684

Editora: Cambridge University Press

Indexação

ISI Web of Knowledge - 74 Citações

Scopus - 100 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 30