A Static Implementation of the Basic Andorra Model for Distributed Memory Systems

V. Benjumea and J. M. Troya.


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