Combining And-parallelism and Or-parallelism

The following sections are included:

• Difficulty in Combining and- and or- Parallelism

• An Outline of the Implementation of P-Prolog

• Run-time Structure

  • Source Program Area

  • Or-tree

  • Hash Table

• The Or-tree Model

  • Node

  • Creating, Deleting and Updating the Node

  • The Relation Between the Nodes

  • Examples

• Some Notes on Implementation

• Discussion

  • Some restrictions

  • Scheduling

  • Optimizations

  • Evaluation