The reduce-or process model for parallel execution of logic programs

Laxmikant V. Kalé
1991 The Journal of Logic Programming  
A method for parallel execution of logic programs is presented. It uses REDUCE-OR trees instead of AND-OR or SLD trees. The REDUCE-OR trees represent logic-program computations in a manner suitable for parallel interpretation. The REDUCE-OR process model is derived from the tree representation by providing a process interpretation of tree development, and devising efficient bookkeeping mechanisms and algorithms. The process model is complete-it produces any particular solution eventually-and
more » ... racts full OR parallelism. This is in contrast to most other schemes that extract AND parallelism. It does this by solving the problem of interaction between AND and OR parallelism effectively. An important optimization that effectively controls the apparent overhead in the process model is given. Techniques that trade parallelism for reducing overhead are also described.
doi:10.1016/0743-1066(91)90009-e fatcat:qc4zkxgae5d5hcysruorgneroi