Towards Term Rewriting Systems in Constraint Handling Rules

Frank Raiser and Thom Frühwirth. Towards Term Rewriting Systems in Constraint Handling Rules. 2008, Constraint Handling Rules, 5th Workshop, CHR 2008, pages 19-34, Workshop

Abstract:

Term rewriting systems are a formalism in widespread use, often implemented by means of term graph rewriting. In this work we present preliminary results towards an elegant embedding of term graph rewriting in Constraint Handling Rules with rule priorities (CHRrp). As term graph rewriting is well-known to be incomplete with respect to term rewriting, we aim for sound jungle evaluation in CHRrp. Having such an embedding available allows to bene t from CHR's online property and parallelization potential.