CLP in ECRC.

Micha Meier Alexander Herold

Published in: CP (1995)

Keyphrases

constraint logic programming
constraint programming
constraint solving
logic programming language
logic programming
answer set programming
machine learning
constraint propagation
global constraints
artificial intelligence
database systems
logic programs
np complete
first order logic