PALS: Efficient Or-Parallelism on Beowulf Clusters

Enrico Pontelli, Karen Villaverde, Hai-Feng Guo +1

This paper describes the development of the PALS system, an implementation of Prolog capable of efficiently exploiting or-parallelism on distributed-memory platforms--specifically…