Bottom-up Partial Deduction of Logic Programs
Wim VanhoofDanny De SchreyeBern MartensPublished in: J. Funct. Log. Program. (1999)
Keyphrases
- partial deduction
- logic programs
- magic sets
- logic programming
- background knowledge
- answer sets
- answer set programming
- stable models
- fixpoint
- logic program updates
- computational properties
- prolog programs
- inductive logic programming
- term rewriting systems
- data model
- normal logic programs
- strong equivalence
- horn clauses
- existentially quantified