Parallel execution of logic programs in the framework of OR-Forest
Yungui Tzu, Changyin Sun · 1987
A new framework for parallel execution of logic programs is described in this paper.First, we present the OR-forest description for the execution of logic programs. Then, an algorithm for automatic partition of subgoals and an OR-forest-based process model are given and discussed.All the algorithms and schemes discussed in this paper have been implemented in PROLOG and their correctness and feasibility have been proved by testing a number of benchmark programs. Experiments show that the OR-forest-based execution system, incorporated with an automatic partition algorithm, can efficiently exploit parallelisms in both deterministic and nondeterministic programs, and nearly always achieve optimal AND-OR-parallelism.