Parallel Logic Languages
Parallel logic programming is born from the integration of logic programming and parallel programming to evaluate logic clauses in parallel.
These models can be divided according to how they exploit parallelism
- Explicit parallelism
The programmer specifies parallelism in a logic program by annotations.
Languages: PARLOG, Concurrent Prolog, GHC, Delta-Prolog, Strand.
-
- Implicit parallelism
Parallelism is extracted both during static analysis and at run-time.
Models: PPP, AND/OR Process model, ANDORRA, Reduce/OR.