Aggregates in Constraint Handling Rules.

Authors :: Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Dahl, Véronica
Niemelä, Ilkka
Sneyers, Jon
Van Weert, Peter
Schrijvers, Tom
Source :: Logic Programming (9783540746089); 2007, p446-448, 3p
Publication Year :: 2007
Abstract: Constraint Handling Rules (CHR) [2,3,4] is a general-purpose programming language based on committed-choice, multi-headed, guarded multiset rewrite rules. As the head of each CHR rule only considers a fixed number of constraints, any form of aggregation over unbounded parts of the constraint store necessarily requires explicit encoding, using auxiliary constraints and rules. [ABSTRACT FROM AUTHOR]