Rule LITFORM_2

LITFORM 'NegAtom 


Description

Neg is classical negation as defined in first-order logic; special uses of it can be shared by FO and all dialects that support a form of classical negation (e.g., certain dialects of LP; perhaps some PR dialects).

Its XML serialization form is:

     <Neg>
       (XML serialization of Atom)
     </Neg>
    


Copyright © 2006 ILOG, Inc.; All Rights Reserved.