The Correspondence Between the Logical Algorithms Language and CHR

摘要

This paper investigates the relationship between the Logical Algorithms language (LA) of Ganzinger and McAllester and Constraint Handling Rules (CHR). We present a translation scheme from LA to CHR~(rp): CHR with rule priorities and show that the meta-complexity theorem for LA can be applied to a subset of CHR~(rp) via inverse translation. This result is compared with previous work. Inspired by the high-level implementation proposal of Ganzinger and McAllester, we demonstrate how LA programs can be compiled into CHR rules that interact with a scheduler written in CHR. This forms the first actual implementation of LA. Our implementation achieves the complexity required for the meta-complexity theorem to hold and can execute a subset of CHR~(rp) with strong complexity bounds.