A Static Implementation of the Basic Andorra Model for Distributed Memory Systems
V. Benjumea and J. M. Troya.
Abstract
The paper shows an implementation model to support the execution of
the Basic Andorra Model on distributed memory systems. A model for
exploiting dependent AND parallelism in Prolog programs on distributed
systems is also proposed, as well as the way in which it has to be
combined with an OR parallel model. A mechanism for dealing with
unbound variables in a distributed environment is proposed. In the
current implementation, the arrangement of workers in the system in
order to mix both models is done in a static way at the beginning of
computation.
Keywords: Andorra Model, parallelism, distributed systems, logic programming,
Prolog, concurrency