Constraint Logic Programming on Strings: Theory and Applications.

Arcot Rajasekar

Published in: ILPS (1994)

Keyphrases

constraint logic programming
constraint solving
logic programming language
proof theoretic
logic programming
answer set programming
constraint programming
high level
temporal reasoning
programming paradigms
databases
machine learning
special case
constraint solver