(A) technique for parallel evaluation of logic programs based on the AND/OR process model with AND-control process

Abstract

In this thesis, a study on the parallel evaluation of logic programs based on the AND/OR/AND-Control Process Model is presented, and a parallel evaluator of logic programs for the model is developed. The AND/OR/AND-Control Process Model is a metamorphosis of the well-known AND/OR Process Model. Besides the AND Process and OR Process in the AND/OR Process Model, there is another type of process, the AND-Control Process, in the AND/OR/AND-Control Process Model. The AND-Control processes control the splitting of AND clauses, and the reconciliation of sub-solution tuples from the split sub-AND clauses. The parallel evaluator of logic programs consists of two parts; the front end a compiler and the back end is a simulator. The compiler converts input logic programs to internal representations and the simulator interprets them according to the proposed execution model. Moreover, the simulator produces sample execution results.