Compiling Constraint Handling Rules for efficient tabled evaluation (0)

by B Sarna-Starosta, C Ramakrishnan
Venue:In PADL ’07: Proc. 9th Intl. Symp. Practical Aspects of Declarative Languages