The Sharing of Environment in AND-OR-Parallel Execution of Logic Programs.
Chengzheng SunTzu YunguiPublished in: ISCA (1987)
Keyphrases
- logic programs
- parallel execution
- logic programming
- answer sets
- stable models
- term rewriting systems
- prolog programs
- fixpoint
- partial deduction
- answer set programming
- data partitioning
- normal logic programs
- parallel computing
- stable model semantics
- parallel processing
- query execution
- computational properties
- cost model
- monotonicity constraints
- high level
- probabilistic model
- relational databases