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 CPROLOG1.5 language. It divides a logic program by set 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.
AND/OR 프로세스 모델은 논리 언어 program을 AND parallelism과 OR parallelism을 이용하여 프로세스 단위로 풀어 나간다. 각각의 프로세스들은 message를 주고 받으며 문제를 푼다. 제안된 simulator는 이 AND/OR 프로세스 모델을 모의수행한 것이다. 이 simulator는 순차 PROLOG 언어로 만들어 졌다. 그리하여 실제로 병렬처리는 하지 못한다. 즉 AND/OR parallelism이 응용된 논리언어 program의 병렬 수행시 그 병렬처리의 정도를 보여준다. 이 simulator에 여러 예제 논리 언어 프로그램을 수행시켜 논리 언어 병렬처리 구조의 실현 가능성을 확인하였다.