The Restricted AND Parallelism (RAP) model proposed by DeGroot provides an efficient parallel forward execution of Prolog programs. But, intelligent backtracking mechanism has not been considered in this model.
In this thesis, the eXtended-RAP(X-RAP) code is proposed to incorporate intelligent backtracking mechanism to the RAP code. The X-RAP code is generated at compile time. This code contains additional information for within-clause-backtracking and across-the-clause backtracking. Although the cost of compiling a program into the X-RAP code increases, this code provides more efficient backward execution than the RAP code.
The performance of this scheme is evaluated by simulation. Simulation results show the X-RAP code provides more efficient backward execution than the RAP code.