Automatic Generation of CHR Constraint Solvers, Slim Abdennadher and Christophe Rigotti. Vol 5(4&5) pp 403-418
A CHR-based Implementation of Known Arc-Consistency, Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano. Vol 5(4&5) pp 419-440
Schedulers and redundancy for a class of constraint propagation rules, Sebastian Brand and Krzysztof R. Apt. Vol 5(4&5) pp 441-465
CHR grammars, Henning Christiansen. Vol 5(4&5) pp 467-501
Optimizing compilation of constraint handling rules in HAL, Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey, Gregory J. Duck. Vol 5(4&5) pp 503-531
FLUX: A logic programming method for reasoning agents, Michael Thielscher. Vol 5(4&5) pp 533-565
Intelligent search strategies based on adaptive Constraint Handling Rules, Armin Wolf. Vol 5(4&5) pp 567-594
Yves Deville: Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover: ISBN 0-262-22069-5, xxvii + 900 pages. Vol 5(4&5) pp 595-600
In recent years, the CHR language has become a major specification and implementation language for constraint-based algorithms and applications. Algorithms are often specified using inference rules, rewrite rules, sequents, proof rules or logical axioms that can be directly written in CHR. Based on first order predicate logic, its clean semantics facilitates non-trivial program analysis and transformation. Several implementations of CHR exist in Prolog, Haskell and Java.
The aim of this special issue of Theory and Practice of Logic Programming is to attract high-quality research papers on all aspects related to the constraint handling rules (CHR) language, such as semantics, analysis, extensions, implementations and applications. Surveys and comparisons of rule-based constraint techniques are also solicited.
Papers should be written in English, and formatted using the LaTeX style files developed by Cambridge University Press for TPLP. These files can be downloaded from the directory ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls.
To submit, go to
If you have questions about the submission procedure, email to firstname.lastname@example.org.