The rule-based programming language Constraint Handling Rules (CHR) has been introduced to ease the development and implementation of constraint solvers. Currently, several CHR libraries exist in languages such as Prolog, Haskell and Java. The K.U.Leuven JCHR system is a high-performance integration of Constraint Handling Rules (CHR) and Java. JCHR is currently by far the most efficient implementation of CHR in Java. Its performance is competitive with state-of-theart CHR systems in e.g. HAL and Prolog. To ease the duty of a CHR programmer, we introduce in this paper an integrated development environment (IDE) for the K.U.Leuven JCHR. The IDE is implemented as a plug-in in Eclipse.
Download Full PDF Version (Non-Commercial Use)