A constraint approach to mastermind in logic programming
ACM SIGART Bulletin
Fundamental properties of networks of constraints: A new formulation
Search in Artificial Intelligence
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
The complexity of constraint satisfaction in prolog
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Due to its relational form, its definite clause syntax and the possibility of writing metaprograms in the same language, it turns out that logic programming is a convenient programming language to represent, relax and solve constraint satisfaction problems (CSPs). Not only we can represent CSPs writing elegant logic programs in a declarative style, but we can also solve them in an efficient way by writing simple metaprograms adding new control strategies to the usual backtrack search strategy of logic programs. This paper defines the classes of CSPs we consider, shows the mapping between these CSPs and logic programs having the same semantics, and describes how to represent relaxation algorithms as logic metaprograms.