A WAM-Based Abstract Machine for Interval Constraint Logic Programming.

J. H. M. Lee T. W. Lee

Published in: ICTAI (1994)

Keyphrases

constraint logic programming
abstract machine
constraint solving
logic programming language
constraint programming
data model
answer set programming
logic programming
constraint propagation
temporal reasoning
global constraints
proof theoretic
neural network
constraint satisfaction
search strategies
finite domain