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

• Type: Article in International Conference Proceedings Book
• Date: 1999

Authors

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

Conference proceedings International

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

Pages: 178-192

Indexing

ISI Web of Knowledge

Scopus - 18 Citations

Other information

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

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15