A Rewrite Approach for Constraint Logic Programming.

Gilles Richard Frédéric Saubion

Published in: LATIN (1995)

Keyphrases

constraint logic programming
constraint solving
logic programming language
answer set programming
logic programming
constraint programming
query rewriting
global constraints
proof theoretic
temporal reasoning
constraint propagation
relational databases
finite domain
programming paradigms
worst case