The K.U.Leuven CHR system: Implementation and application
Tom Schrijvers, Bart Demoen · Lirias · 2004
Abstract. We present the K.U.Leuven CHR system: what started out as a validation of a new attrib-uted variables implementation, has become a part of three different Prolog systems with an increasing userbase. In this paper we highlight the particular implementation aspects of the K.U.Leuven CHR system, and a few CHR applications that we have built with our system. 1