An OR-Parallel Prolog Model for Distributed Memory Systems
V. Benjumea and J. M. Troya.
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,