Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs.
Kish ShenManuel V. HermenegildoPublished in: Euro-Par, Vol. II (1996)
Keyphrases
- logic programs
- parallel execution
- logic programming
- data partitioning
- cost model
- answer sets
- fixpoint
- scheduling problem
- parallel processing
- stable models
- normal logic programs
- parallel computing
- partial deduction
- computational properties
- answer set programming
- prolog programs
- query execution
- shared memory
- parallel machines
- parallel programming
- deductive databases
- loop formulas
- massively parallel
- parallel algorithm
- strong equivalence
- query processing