Searching for "Execution Control for CHR." – sorted by Relevance.
-
A Proposal for a Next Generation of CHR
- , is introduced in [5,6] to deal with the lack of high-level execution control in CHR. Today, many CHR programs
- Add To MetaCart
-
The correspondence between the logical algorithms language and CHR
- of high-level execution control in CHR. In CHR rp , every rule is annotated with a rule priority that may
- Cited by 2 (2 self) – Add To MetaCart

