On Criteria for Or-Parallel Execution Models of Logic Programs.
Gopal GuptaBharat JayaramanPublished in: NACLP (1990)
Keyphrases
- logic programs
- logic programming
- parallel execution
- answer sets
- answer set programming
- fixpoint
- term rewriting systems
- semantics for logic programs
- prolog programs
- partial deduction
- stable model semantics
- normal logic programs
- semantics of logic programs
- data partitioning
- stable models
- inductive logic programming
- databases