A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation.

Published in: ECAI (1984)

Keyphrases

partial evaluation
programming language
explanation based generalization
data sets
databases
high level
relational databases
knowledge representation
small number
logic programs
production system