Extending CHR with negation as absence (2006)
Cached
Download Links
| Venue: | Dept. of Computer Science |
| Citations: | 12 - 11 self |
BibTeX
@INPROCEEDINGS{Weert06extendingchr,
author = {Peter Van Weert and Jon Sneyers and Tom Schrijvers and Bart Demoen and Peter Van Weert and Jon Sneyers and Tom Schrijvers and Bart Demoen},
title = {Extending CHR with negation as absence},
booktitle = {Dept. of Computer Science},
year = {2006},
pages = {125--140}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this exploratory paper, we introduce CHR ¬ , an extension of the CHR language with negation as absence, and we illustrate how the added expressiveness allows CHR programmers to write more declarative and concise rules. We show the difficulties of integrating negation with the conventional execution mechanism of CHR. A formal operational semantics for CHR ¬ is presented, and its theoretical and practical implications are evaluated critically. We introduce a source-to-source transformation from CHR ¬ to regular CHR.
