Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog.
Henryk Jan KomorowskiPublished in: POPL (1982)
Keyphrases
- partial evaluation
- explanation based generalization
- data structure
- domain theory
- programming language
- knowledge representation
- logic programming language
- expert systems
- logic programming
- abstract machine
- functional programming
- specification language
- inference engine
- natural language
- database
- general purpose
- constraint logic programming
- natural language processing
- software engineering
- learning algorithm