Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.
Juliana FreireTerrance SwiftDavid Scott WarrenPublished in: PLILP (1996)
Keyphrases
- logic programs
- logic programming
- answer sets
- fixpoint
- answer set programming
- stable models
- search algorithm
- background knowledge
- prolog programs
- inductive logic programming
- normal logic programs
- computational properties
- horn clauses
- partial deduction
- search strategy
- stable model semantics
- branch and bound
- lower bound
- knowledge base
- expert systems
- monotonicity constraints
- functional programs
- strong equivalence
- recursive programs
- term rewriting systems