Dealing with Infinite Intensional Sets in CLP.

Roberta Carmona Agostino Dovier Gianfranco Rossi

Published in: APPIA-GULP-PRODE (1997)

Keyphrases

constraint logic programming
information retrieval
higher order
real numbers
definite clause
databases
machine learning
similarity measure
multiscale
constraint programming
set theoretic