Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs.
Laura LafaveJohn P. GallagherPublished in: LOPSTR (1997)
Keyphrases
- logic programs
- partial evaluation
- explanation based generalization
- logic programming
- magic sets
- answer sets
- answer set programming
- stable models
- fixpoint
- computational properties
- normal logic programs
- prolog programs
- stable model semantics
- background knowledge
- inductive logic programming
- partial deduction
- xpath queries
- domain theory
- datalog programs
- machine learning
- xml databases
- default logic
- deductive databases
- constraint satisfaction
- semantics of logic programs
- higher order