Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs.
Vikram A. SaletoreLaxmikant V. KaléPublished in: NACLP (1989)
Keyphrases
- logic programs
- parallel execution
- logic programming
- answer sets
- fixpoint
- stable models
- answer set programming
- data partitioning
- parallel processing
- computational properties
- partial deduction
- query execution
- prolog programs
- cost model
- normal logic programs
- strong equivalence
- optimal solution
- loop formulas
- parallel computing
- term rewriting systems
- stable model semantics
- shared memory
- deductive databases
- information systems
- query language
- database systems
- artificial intelligence