article · 1995
High-Level Implementations of Constraint Handling Rules
Thom Frühwirth, Pascal Brisset
Cited by 0Abstract and details only
Abstract
Constraint handling rules (CHRs) are a high level logic concurrent committedchoice language for writing constraint systems. Rapid prototyping of novel applications for constraint techniques is encouraged by the high level of abstraction and declarative nature of CHRs. In this paper we describe basic principles of implementing CHRs in logic programming languages and show how they actually have been implemented in the CHRs library of ECL i PS e , ECRC's constraint logic programming platform. All three types of multi-headed CHRs can be transformed into single-headed simplification rules. These rules correspond to guarded rules used in typical logic concurrent committed-choice languages. We then show how to implement these guarded rules in sequential (constraint) logic programming languages. The report contains three appendices involving a generic example and its translation. 1 Introduction Constraint handling rules (CHRs) [Fru92, Fru94, FrHa95, Fru95] are a high-level language extens...
Cite this paper
Frühwirth, T., & Brisset, P. (1995). High-Level Implementations of Constraint Handling Rules.
Frühwirth, Thom, and Pascal Brisset. “High-Level Implementations of Constraint Handling Rules.” 1995.
Frühwirth, Thom, and Pascal Brisset. 1995. “High-Level Implementations of Constraint Handling Rules.”
Frühwirth, T. and Brisset, P. (1995) ‘High-Level Implementations of Constraint Handling Rules’.
@article{fruhwirth1995high,
title = {{High-Level Implementations of Constraint Handling Rules}},
author = {Frühwirth, Thom and Brisset, Pascal},
year = {1995}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.