|
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.