CLP(X) for proving prgram properties.

Frédéric Mesnard Jean-Gabriel Ganascia

Published in: JFPL (1992)

Keyphrases

feature extraction
constraint logic programming
data mining
information retrieval
computational complexity
knowledge base
data model
special case
probability distribution
structural properties
desirable properties