A Parallel Execution Model of Logic Programs
-
-
Abstract
In this paper, a parallel execution model of logic programs is given on the basis of staticdata dependency analysis and dynamic adjustment. Under the control of this model, both ANDparllelism and OR-parallelism can be achieved.
-
-