Constraint Handling Rules (CHRs). Chameleon implements the ideas described in ``A Theory of Overloading''. WWW: http://www.comp.nus.edu.sg/~sulzmann/chameleon/