Extended restricted AND-parallelism execution model

The authors present an extended RAP execution model and its abstract machine to support intelligent backtracking and side effects. An abstract interpretation based compiler technique to extract backtracking literals from a program is developed. The complete forward and backtracking algorithms for the extended execution model have been developed. An extended abstract machine is designed with few additional registers and instructions to support the forward and backtracking algorithms.<
>