Submitted by:

Constraint Handling Rules (CHR) is a high-level programming language extension which introduces declarative multiset semantics. Although originally designed in the early 1990s, the number of implementations is still small. While there are adaptions for popular imperative programming languages such as C and Java, its most popular host language is Prolog. As a result, the dissemination of CHR is currently restricted almost entirely to research community. In this thesis we present an implementation of CHR in JavaScript. By embedding it into the dominating web programming language which recently got adopted for server-side frameworks as well, we open this declarative approach to a broad range of developers and new use cases. The embedding of CHR in JavaScript gives the chance to easily create applications with CHR in combination with front-end functions. As a result, we created a web-interface to explore the evaluation of Constraint Handling Rules interactively This visual CHR tracer is based on the created interpreter called CHR.js, whose main target is the ful