Foundational Issues in Implementing Constraint Logic Programming Systems.

James H. Andrews

Published in: Sci. Comput. Program. (1995)

Keyphrases

constraint logic programming
constraint solving
machine learning
logic programming
technical issues
proof theoretic
databases
artificial intelligence
knowledge base
worst case
answer set programming
constraint propagation