Applications of Constraint Logic Programming.

Published in: CCL (1994)

Keyphrases

constraint logic programming
constraint solving
logic programming language
constraint programming
logic programming
answer set programming
constraint propagation
temporal reasoning
proof theoretic
logic programs
global constraints
temporal information
integer programming