Parallel logic programming
From Parawiki
Logic Programming
Logic programming offers some opportunities for implicit parallelism. A logic program corresponds to a search tree. In a sequential execution, the tree nodes are visited in a predetermined order, and in a parallel execution, different branches can be explored in parallel. Two major forms of parallelism are mostly used in parallel logic programming: or-parallelism and and-parallelism.
Systems
Related Links
Adventures in Parallel Logic Programming
