PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures

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.

• Type: Conference
• Year: 2001
• Where: ICLP
• Authors: Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
• Keywords: Automated Reasoning, ICLP 2001, PALS, Parallel Logic Systems, first Distributed Implementation