A New Method for Describing the AND-OR-Parallel Execution of Logic Programs

A new method for describing the execution of logic programs is presented in this paper.Our method, named OR-forest,not only retains the merits of the traditional OR-tree description in achieving high independence of each computation unit,but also overcomes the two major drawbacks of the traditional OR- tree description:the lack of the ability for describing AND-parallel execution and the redundancies in describing OR-parallel execution,It provides a new framework for developing execution models which could …