Integrating Datalog and Constraint Solving.

Benoit Desouter Tom Schrijvers

Published in: CoRR (2013)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction
constraint solver
expressive power
constraint satisfaction problems
constraint programming
query answering
deductive databases
logic programming
search algorithm
query language
datalog programs
data complexity