Specialization of functional logic programs based on needed narrowing.
María AlpuenteSalvador LucasMichael HanusGermán VidalPublished in: Theory Pract. Log. Program. (2005)
Keyphrases
- logic programs
- logic programming
- answer sets
- answer set programming
- stable models
- fixpoint
- inductive logic programming
- background knowledge
- partial deduction
- computational properties
- stable model semantics
- normal logic programs
- strong equivalence
- logic program updates
- term rewriting systems
- recursive programs
- existentially quantified
- prolog programs
- declarative semantics
- artificial intelligence
- data exchange
- query answering
- deductive databases