Logic Programming, 22nd International Conference, ICLP 2006, Proceedings vol:4079 pages:72-86
Twenty Second International Conference on Logic Programming location:Seattle, Washington, USA date:August 17-20, 2006
Two Constraint Handling Rules compiler optimizations that drastically reduce the memory footprint of CHR programs are introduced. The reduction is the result of reusing suspension terms, the internal CHR constraint representation, and avoiding the overhead of constraint removal followed by insertion. The optimizations are defined formally and their correctness is proved. Both optimizations were implemented in the K.U.Leuven CHR system. Significant memory savings and speedups were measured on classical and well-known benchmarks.