A set-oriented parallel execution model for Prolog

Various parallel execution models have been proposed for Prolog. Static data dependency analysis and different forms of intelligent backtracking have been used in many of the parallel Prolog models developed in the last few years. Some of these models implement only one type of parallelism, AND-parallelism, or OR-parallelism. Other models implement both, using a form of restricted AND-parallelism and backtracking.