A Compilation Schema from Constraint Handling Rules into Action Rules

Abstract. CHR is a popular high-level language for implementing con-straint solvers and other general purpose applications. It has a well-established operational semantics and quite a number of different imple-mentations, prominently in Prolog. However, there is still much room for exploring the compilation of CHR to Prolog. Nearly all implementa-tions rely on attributed variables. In this paper, we explore a different implementation target for CHR: B-Prolog’s Action Rules (ARs). As a rule-based language, it is a good match for particular aspects of CHR. However, the strict adherence to CHR’s refined operational semantics poses some difficulty. We report on our work in progress: a novel compi-lation schema, required changes to the AR language and the preliminary benchmarks and experiences.