Extending constraint logic programming with open functions.

Nikolay Pelov Maurice Bruynooghe

Published in: PPDP (2000)

Keyphrases

constraint logic programming
constraint solving
answer set programming
logic programming
logic programming language
temporal reasoning
constraint programming
constraint propagation
global constraints
finite domain
proof theoretic
programming language
programming paradigms