An AND-OR Parallel Execution System for Logic Program Evaluation.
Nam Sung WooRamautar SharmaPublished in: ICPP (1987)
Keyphrases
- logic programs
- parallel execution
- logic programming
- stable models
- answer set programming
- answer sets
- fixpoint
- general logic programs
- normal logic programs
- prolog programs
- computational properties
- horn clauses
- inside outside algorithm
- logic program updates
- databases
- cost model
- data partitioning
- deductive databases
- data mining
- query execution
- parallel processing
- artificial intelligence
- loop formulas
- fixpoint semantics
- database