A distributed implementation of parallel backtracking
N. Signès, J.-P. Bodeveix, D. Plaindoux, F. Cabestre, Christian Percebois · 2002
Presents a set of asynchronous backtrackable communication primitives and their integration into the SLOOP parallel object-oriented logic language. After a brief survey of inter-process communication models in parallel logic languages, we define the set of communication primitives and give a uniform semantics of the extension of Prolog thus obtained. Then we detail an implementation of these primitives based on the study of a dependency graph recording the connections between communication points. In order to integrate the primitives into the SLOOP language, we have defined a set of system classes used as an interface between the Prolog layer and the object layer. Lastly, an example illustrates most of the concepts supported by our language.>