Rule LITFORM_4

LITFORM 'Naf' 'NegAtom 


Description

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.