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