The Muse Or-parallel Prolog model and its performance
Proceedings of the 1990 North American conference on Logic programming
Scheduling speculative work in Or-parallel Prolog systems
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
On the complexity of or-parallelism
New Generation Computing
Stack-splitting: or-/and-parallelism on distributed memory machines
Proceedings of the 1999 international conference on Logic programming
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
YapOr: an Or-Parallel Prolog System Based on Environment Copying
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
An OR Parallel Prolog Model for Distributed Memory Systems
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
DAOS - Scalable And-Or Parallelism
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Search Procedures and Parallelism in Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Or-parallel prolog execution on multicores based on stack splitting
DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
| Hi-index | 0.00 |
This paper describes the development of the PALS system, an implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel technique, called incremental stack-splitting. The technique builds on the stack-splitting approach, which in turn is an evolution of the stack-copying method used in a variety of parallel logic systems. This is the first distributed implementation based on the stack-splitting method ever realized. Experimental results obtained on a Beowulf system are presented and analyzed.