Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach.
Henk VandecasteeleDanny De SchreyePublished in: LPAR (1994)
Keyphrases
- constraint logic programming
- finite domain
- logic programming language
- constraint solving
- logic programming
- constraint programming
- answer set programming
- constraint propagation
- temporal reasoning
- constraint solver
- logic programs
- machine learning
- reinforcement learning
- probability distribution
- constraint satisfaction
- global constraints