The Mixtus Approach to Automatic Partial Evaluation of Full Prolog.

Published in: NACLP (1990)

Keyphrases

partial evaluation
explanation based generalization
logic programming
domain theory
semi automatic
knowledge representation
higher order
xpath queries
metadata
xml documents
data model
data sources
logic programs