DIALOG — A dataflow model for parallel execution of logic programs

An OR parallel Prolog model for distributed memory systems

“…Several approaches have been proposed to exploit OR parallelism in Prolog programs. The most significant are: the process tree models [4], where each node in the search tree is associated with a process which tries to solve it, data flow models [5,10], where the search tree is represented as a set of processes synchronized by the.data flow, and multisequential models [8,9,6,1,2]. The latter are based on having multiple Prolog engines that work like sequential ones combined with a method to keep the multiple variable bindings that different Prolog engines could achieve, and with a method to share the work between the system workers 1.…”