A backtracking algorithm for the stream AND-parallel execution of logic programs.
Zoltan SomogyiKotagiri RamamohanaraoJayen VaghaniPublished in: Int. J. Parallel Program. (1988)
Keyphrases
- logic programs
- parallel execution
- backtracking algorithm
- logic programming
- constraint satisfaction problems
- parallel processing
- search tree
- constraint networks
- data partitioning
- cost model
- answer sets
- parallel computing
- query execution
- path consistency
- query processing
- shared memory
- computational properties
- database
- higher order
- databases