CLP(Flex): Constraint Logic Programming Applied to XML Processing.

Jorge Coelho Mário Florido

Published in: CoopIS/DOA/ODBASE (2) (2004)

Keyphrases

constraint logic programming
logic programming
constraint solving
logic programming language
constraint programming
answer set programming
constraint propagation
xml processing
temporal reasoning
global constraints
proof theoretic
xml documents