Toward the Partial Evaluation of CLP Languages.

Timothy J. Hickey Donald A. Smith

Published in: PEPM (1991)

Keyphrases

partial evaluation
explanation based generalization
constraint logic programming
expressive power
logic programming
higher order
answer set programming
data sets
databases
machine learning
artificial intelligence
expert systems
high dimensional
constraint programming
domain theory
xpath queries