Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules

This book contains the Proceedings of CHR 2005, the Second Workshop on Constraint Handling Rules, held at the occasion of ICLP 2005 in Sitges (Spain) on October 5, 2005. The Constraint Handling Rules (CHR) language has become a major declarative specification and implementation language for constraint reasoning 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, this clean semantics of CHR facilitates non-trivial program analysis and transformation. This workshop follows the First Workshop on Constraint Handling Rules was organized in May 2004 in Ulm, Germany. It means to bring together, in an informal setting, people involved in research on all matters involving CHR, in order to promote the exchange of ideas and feedback on recent developments. Keywords : Constraint Handling Rules CR Subject Classification : D.3. 2, D.3. 3, F.4. 1 ! " # "$&%(') *$ $ +, ! "-. / 021436587:9:9:;,<= # "$? >@$ "+BA '# @ ) " C D14 " # #' ! E3F "+,G! -/5 H G $ I<J "$*G +? 6 # "$2 I # K 0ML#14NO%P7:9:9:;Q ! D> ! #-. $ R > CS ! JT= VU6 W $W'6;,<S7:9:9:;,X "$V14 " ) #' ! Y3F "+,G! -Z5 H G $ R 143[5FT2G\ -:HS -. $& S $ ]^$V K]Q `_# ' + $ *G\ ' # ! ab$[ #C $ * dcS I # e "+Q ! ]fC G $W]^$* @ # YG\ -:HS -. $ 0g 'M " # #'h d @ i')$I ) ,j ! -/ G! -. '# ! # ]^ E "+V C C G! I # " IX k[G! -. '# ! # ]^ F ')$l 0m )$* & #C $ * dcS$ +&H" # ! ,0m$*'nj $* " $o'#H G $ I<"')$*p='# ! )$o'#H G $ I<S )$ q H"$* ) I< C ') 0r'#H G $ ' G -: I Gs `t, ]^ u # S [ I v $ +, ! ')$ * #G! wxp='# ! # )$* V ! D143[5lXSy= )$ +V xc"') # 6 ')+ $*'6C ')$ +, I )$2G -: :< # 6 *G $I K )$Wj ]Q # 0z14365 0{ * ! G! )$ 4 " ,j{ #'# ! a@ \ G C ') -:' ]| S G! w, # "+ #' " n0g '#]Q # OX (p4 '# @ ) " Cf0g G! G! `pu ( # "$u}s ! ') # (A '# @ # " CQ Y14 " ) #' ! i3F "+,G! -~5 H G $ p o '#-b ! I$ +D ! D? Iw? 7:9:9 v ! D[G! ]v<F$*'#]Q wbXfL E]^$I " o ) / '# ! -v ) -. $* # "$*'I< ! D K ! ,0m '#]Q G( $* # # ! -"<C $ C G $ ! ab G! a.$ +? d K')$ )$I ') D D G! Gr]Q # )$*') E ! a. G! a@ ! 14365~<( !  ')+ $*'Y ) C ') ]^ )$V # "$&$Wt, S -. $V 0o + $I e "+0m$ $ +, S B')$ $* + $*ab$*G C ]^$* ) IX $* ~')$*G $*a: CS C $*') p4$*')$i #H ]f ! # )$ +~ ) u # "$(p4 ') @ # " CO<: G! G 0 p= l')$ $* ! ab$ + sG $I # s p4 [')$*a $*p "+l]^ : ) s$*ab$* 2 # ')$ $:XrU[ "$iCS C $*'zp ')$_#$ * )$ + "+ " # "$*' p= ! # "+,' Ip= OXir ! -: $Wt $*G! G $* uCS C $*') V14365Pp4$*')$~ $*C )$ +v )  # "$Ep4 '# , # " COX [$*p ) Z # "$D143[58p4 '# , # " C # Ywb$I 'Y Y # "$? y $ # /%z C $*'vkzp ')+X "$ %r') -:' ]1 ]f]f d ) )$ $^ )$*G $ * )$ +D $ # ECS C $*'F0m') ]8 # "$f$* ! -: ~ $*C )$ +KCS C $*') I< S )$ +D K ! ) o H ) # "+, ! -xq HS G! w& ! K # DC ')$ )$* # Z "+K ) * $* # dcS ^ #'# dj H # V "+/0m '= ! ) u ! ]fCS * v # "$FcS$*G +v 0(14365~X AD$2 ')$~C '# ! a@ ! G $*-. $ +& ) Q S Iab$2 Q+, # # ! -:H # "$ +V ! a ! )$ +V #C $I b$*'I=V '# # ! D> H G! *j ]Q R F # S G[ ! ab$*') # ! wQ 0z> ! -b C ')$TM h Gd @ ! -f H = #w, # )$*]Q # [ w@C $6 #w, nj )$*]+ $ # ! -: vp= ! # V14365~X AD$E ')$F-:' )$W0mH G ) f G! G # "$o H # " ') u 0s # "$F )H ]f ! # )$ +/CS C $*') I< # "$F%(') -:' ] 14 ]f]f ! # )$ $F]^$*]l $*') I<" "+ # "$6')$W0m$*')$ $ 40m '4 # "$* ! ' # ! ]^$F "+/$W '# ) = #C $* 4 ! Y # "$ ')$*a@ $*p= ! -? C ') $ ) I<z # "$YL#14NO%7:9:9:;& '#-b ! I$*') ^ "+ # "$ p '# @ # " C S ! 'f36 dj }S$* -Y6H" X k[H -:H" # 7:9:9:;  ] >@ ') _nab$*')  " ]}"'# p= ! '# #