An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs.
Yow-Jian LinVipin KumarClement H. C. LeungPublished in: ICLP (1986)
Keyphrases
- logic programs
- parallel execution
- backtracking algorithm
- logic programming
- constraint satisfaction problems
- constraint networks
- search tree
- data partitioning
- cost model
- parallel processing
- answer sets
- parallel computing
- query processing
- path consistency
- query execution
- computational properties
- shared memory
- database
- constraint propagation
- higher order