The clp(FD) system.

Philippe Codognet Daniel Diaz

Published in: JFPLC (1995)

Keyphrases

constraint logic programming
constraint programming
constraint solving
box counting
logic programming
answer set programming
general purpose
temporal reasoning
artificial intelligence
feature selection
expert systems
query language
spatial information
constraint propagation