Narrowing-Driven Partial Evaluation of Functional Logic Programs.
María AlpuenteMoreno FalaschiGermán VidalPublished in: ESOP (1996)
Keyphrases
- logic programs
- partial evaluation
- explanation based generalization
- logic programming
- answer sets
- answer set programming
- fixpoint
- background knowledge
- stable models
- normal logic programs
- partial deduction
- computational properties
- inductive logic programming
- deductive databases
- domain theory
- prolog programs
- loop formulas
- high level
- semantic web
- strong equivalence