A distributed implementation for parallel logic programming

The distributed implementation of a novel communication model for parallel logic programming is presented. The resulting language is called ROSE. The main novelty with respect to STREAM-parallel logic languages is that AND parallel processes do not share variables; interprocess communication is performed via multiple-headed clauses. A compilation technique on an extended Warren abstract machine in which new instructions and data structures are introduced for process creation and communication and control of nondeterminism is described. To show that this model is suitable for distributed architectures, an initial prototype developed on a transputer-based architecture is presented.>