Towards Just-In-Time Partial Evaluation of Prolog.
Carl Friedrich BolzMichael LeuschelArmin RigoPublished in: LOPSTR (2009)
Keyphrases
- partial evaluation
- explanation based generalization
- domain theory
- logic programming
- higher order
- modal logic
- general purpose
- inductive learning
- domain knowledge
- knowledge representation
- programming language
- database
- logic programs
- abstract machine
- prolog programs
- background knowledge
- data model
- expert systems
- knowledge base
- databases