OR-parallel Prolog on Distributed Memory Systems

A fully distributed OR-parallel Prolog implementation scheme is shown in the paper based on the recomputation model. The main advantage of the recomputation model is that only little modification is needed to the sequential WAM engine in order to achieve a distributed Prolog system. The paper describes the new data structures of the parallel WAM engine and explains how the distributed scheduler can be organized. Finally a broadcast message based cavallier cut implementation scheme is shown in the paper.