Extending CHR with negation as absence
Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen · Lirias · 2006
Abstract. In this exploratory paper we introduce CHR ¬ , an extension of the CHR language with negation as absence, an established feature in production rule systems. Negation as absence is a procedural notion that allows a more concise and clean programming style. We propose a formal operational semantics for CHR ¬ close to CHR’s refined operational semantics. We illustrate and motivate its properties with examples. 1