YapOr: an Or-Parallel Prolog System Based on Environment Copying

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 1999

Autores

Ricardo Rocha (Autor) FCUP; Fernando M A Silva (Autor) FCUP; Vítor Santos Costa (Autor) FCUP

Ata de Conferência Internacional

Título: Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings

Páginas: 178-192

Indexação

ISI Web of Knowledge

Scopus - 18 Citações

Outras Informações

ID Authenticus: P-008-KJJ

DOI: 10.1007/3-540-48159-1_13

Abstract (EN): YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first implemented in Muse. The development of YapOr required solutions for some important issues, such as designing the data structures to support parallel processing, implementing incremental copying technique, developing a memory organization able to answer with efficiency to parallel processing and to incremental copying in particular, implementing the scheduler strategies, designing an interface between the scheduler and the engine, implementing the sharing work process, and implementing support to the cut builtin. An initial evaluation of YapOr performance showed that it achieves very good performance on a large set of benchmark programs. Indeed, YapOr compares favorably with a mature parallel Prolog system such as Muse, both in terms of base speed and in terms of speedups. © Springer-Verlag Berlin Heidelberg 1999.

Idioma: Inglês

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

Nº de páginas: 15