Preliminary Graph Generation for Parallel Logic Problems

1. Introduction - Horn clause logic programs have inherent potential for AND parallel execution. In a pure logic program with no side effects or meta-logical predicates, very conjunctive goal may be executed in parallel. However, if prudence is not exercised in selecting which goals to execute, the overhead may outweigh the benefits. Additional constraints are added as most logic programming languages are not pure. Improper interleaving of the conjunctive goals can produce different and even erroneous results.