Compiling Constraint Handling Rules into Prolog with Attributed Variables.

Christian Holzbaur, Thom W. Frhwirth

Browse the full PPDP paper archive.