Translating constraint handling rules into action rules (2006)
| Venue: | In The Third Workshop on Constraint Handling Rules |
| Citations: | 7 - 5 self |
BibTeX
@INPROCEEDINGS{Zhou06translatingconstraint,
author = {Neng-fa Zhou and Tom Schrijvers and Bart Demoen},
title = {Translating constraint handling rules into action rules},
booktitle = {In The Third Workshop on Constraint Handling Rules},
year = {2006}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. CHR is a popular high-level language for implementing constraint solvers and other general purpose applications. It has a wellestablished operational semantics and quite a number of different implementations, prominently in Prolog. However, there is still much room for exploring the compilation of CHR to Prolog. Nearly all implementations 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 compilation schema, required changes to the AR language and the preliminary benchmarks and experiences. 1
