|
|
|
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:
<rcl:NafNeg>
(XML serialization of Atom)
</rcl:NafNeg>
|
Copyright © 2006 ILOG, Inc.; All Rights Reserved.
