Self-Organizing Task Scheduling for Parallel Execution of Logic Programs.
Zheng LinPublished in: FGCS (1992)
Keyphrases
- logic programs
- parallel execution
- logic programming
- cost model
- data partitioning
- answer set programming
- parallel processing
- answer sets
- stable models
- parallel computing
- fixpoint
- computational properties
- computing systems
- normal logic programs
- stable model semantics
- prolog programs
- shared memory
- query execution
- partial deduction
- query processing
- general purpose
- grid computing
- pattern matching
- database management systems
- programming language
- strong equivalence