Fast offline partial evaluation of logic programs.
Michael LeuschelGermán VidalPublished in: Inf. Comput. (2014)
Keyphrases
- logic programs
- partial evaluation
- explanation based generalization
- logic programming
- answer sets
- answer set programming
- fixpoint
- stable models
- background knowledge
- computational properties
- inductive logic programming
- prolog programs
- normal logic programs
- deductive databases
- xpath queries
- partial deduction
- logic program updates
- loop formulas
- higher order
- term rewriting systems
- semi supervised