Constraint Logic Programming.

Published in: Computational Logic: Logic Programming and Beyond (2002)

Keyphrases

constraint logic programming
constraint solving
logic programming language
answer set programming
logic programming
constraint programming
proof theoretic
constraint propagation
global constraints
finite domain
logic programs
data mining
temporal reasoning