Single Parallelism Systems

In this section we analyze the main problems and solutions in the design and implementation of parallel logic programming systems exploiting a single form of parallelism.

• Or-parallelism
  • Independent Or-Parallelism:
  • Restricted Or-Parallelism:
  • Dependent Or-Parallelism:
• And-parallelism
  • Independent And-parallelism
  • Restricted And-parallelism:
  • Dependent And-parallelism: