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