CHR.js swMATH ID: 28857 Software Authors: Falco Nogatz; Thom Frühwirth; Dietmar Seipel Description: CHR.js: A CHR Implementation in JavaScript. Constraint Handling Rules (CHR) is usually compiled to logic programming languages. While there are implementations for imperative programming languages such as C and Java, its most popular host language remains Prolog. In this paper, we present Chr.js, a CHR system implemented in JavaScript, that is suitable for both the server-side and interactive client-side web applications. Chr.js provides (i) an interpreter, which is based on the asynchronous execution model of JavaScript, and (ii) an ahead-of-time compiler, resulting in synchronous constraint solvers with better performances. Because of the great popularity of JavaScript, Chr.js is the first CHR system that runs on almost all and even mobile devices, without the need for an additional runtime environment. As an example application we present the Chr.js Playground, an offline-capable web-interface which allows the interactive exploration of CHRs in every modern browser. Homepage: http://chrjs.net/ Dependencies: JavaScript Related Software: FACTORIE; PAKCS; Church; FlatCurry; EasyCheck; KiCS2; PFLP; ProbLog; Curry; SmallCheck; Haskell Cited in: 2 Documents Cited by 4 Authors 1 Christiansen, Jan 1 Dylus, Sandra 1 Frühwirth, Thom 1 Teegen, Finn Cited in 2 Serials 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming Cited in 2 Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year