|
This allows one legal nesting of the two kinds of negations, for which
we propose to use the notation Naf/Neg, as in RuleML:
Its XML serialization form is: <NafNeg> (XML serialization of Atom) </NafNeg>
|
Copyright © 2006 ILOG, Inc.; All Rights Reserved.