(An) experimental simulator for AND/OR process model

Abstract

There have been proposed many models for parallel execution of logic programs. Among them, the most natural model for parallel execution of logic programs is the AND/OR process model. An experimental simulator is designed which is based on Conery``s AND/OR process model. But, recently, it is proved that this backtracking scheme is not correct by several researchers. In this thesis, Lin``s scheme for intelligent backtracking is implemented on the experimental simulator. The simulator is written in CPROLOG 1.5 language. It divides a logic program by set of of processes and performs transitions of processes by reading messages. Behaviors of the simulator is not parallel because of current PROLOG. The simulator shows the degree of parallelism where AND and OR parallelisms are exploited to solve logic programs.