A Technique for Compiling Execution Graph Expressions for Restricted and Parallelism in Logic Programs.
Doug DeGrootPublished in: ICS (1987)
Keyphrases
- logic programs
- logic programming
- refinement operators
- answer sets
- stable models
- fixpoint
- background knowledge
- answer set programming
- partial deduction
- normal logic programs
- computational properties
- inductive logic programming
- data flow
- strong equivalence
- prolog programs
- term rewriting systems
- logic program updates
- knowledge base
- horn clauses
- relational databases