DiagrammaticCHR: A Diagrammatic Representation of CHR Programs

Abstract—Recently, a new approach for embedding vi-sualization 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 representa-tion is able to account for the newly embedded visual features. Keywords-Visual Language, Constraint Handling Rules, An-imatio