YapOr: An Or-Parallel Prolog System Based on Environment Copying. 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.
Keywords for this software
References in zbMATH (referenced in 7 articles )
Showing results 1 to 7 of 7.
- Santos, Jõao; Rocha, Ricardo: On the implementation of an or-parallel Prolog system for clusters of multicores (2016)
- Costa, Vítor Santos; Dutra, Inês; Rocha, Ricardo: Threads and or-parallelism unified (2010)
- Pontelli, Enrico; Villaverde, Karen; Guo, Hai-Feng; Gupta, Gopal: PALS: Efficient or-parallel execution of prolog on Beowulf clusters (2007)
- Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos: On applying or-parallelism and tabling to logic programs (2005)
- Rocha, Ricardo; Silva, Fernando; Santos Costa, Vítor: Speculative computations in or-parallel tabled logic programs (2004)
- Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos: On a tabling engine that can exploit or-parallelism (2001)
- Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G.: PALS: An or-parallel implementation of Prolog on Beowulf architectures (2001)