DiagrammaticCHR: A Diagrammatic Representation of CHR Programs

Recently, a new approach for embedding visualization features into Constraint Handling Rules (CHR) programs has been proposed. It allows CHR programmers to animate and visualize different algorithms implemented in CHR. Such features have become essential with CHR being a general purpose language. In this paper, a new diagrammatic representation for CHR programs is presented. The representation is also able to account for the newly embedded visual features.