A General Computational Scheme for Constraint Logic Programming.

John Darlington Yike Guo Qian Wu

Published in: ALPUK (1991)

Keyphrases

constraint logic programming
constraint solving
special case
constraint programming
logic programming language
artificial intelligence
programming paradigms
data mining
computational complexity
software engineering
computationally tractable
finite domain
proof theoretic