Compiling Intensional Sets in CLP.

Paola Bruscoli Agostino Dovier Enrico Pontelli Gianfranco Rossi

Published in: ICLP (1994)

Keyphrases

constraint logic programming
database
databases
learning algorithm
higher order
information retrieval
information systems
case study
data structure
lower bound
expert systems
multiresolution
query evaluation
real numbers