An OR-Parallel Prolog Model for Distributed Memory Systems

V. Benjumea and J. M. Troya.

Abstract

This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distributed systems and a novel distributed scheduler is also proposed. WAM modifications to support the proposed model are very simple. The system has been implemented on a 16 processor multicomputer based on transputers. It has been obtained very good performance results with an overhead around 6% and a speed-up comparable to the most known multisequential models for shared memory systems.

Keywords: OR parallelism, distributed systems, logic programming, Prolog, concurrency