Author(s)
A Static Implementation of the Basic Andorra Model for Distributed Memory Systems
Dpt. Lenguajes y Ciencias Computacion
Universidad de Malaga
P.O.Box 311, S-751 05
Spain
{vincented,troya}@lcc.uma.es
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.
Accepted Papers