An Introduction to Constraint Logic Programming.

Frank Kriwaczek

Published in: Advanced Topics in Artificial Intelligence (1992)

Keyphrases

constraint logic programming
constraint solving
logic programming language
logic programming
answer set programming
constraint programming
constraint propagation
temporal reasoning
proof theoretic
programming paradigms
constraint satisfaction
global constraints
finite domain
natural language
worst case