RCL_neg.grm
|
// Additional rule for LITFORM: // LITFORM ::= 'Neg' Atom LITFORM : 'Neg' Atom
$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> |
[ rcl:Neg 2 ] // XML serialization pattern ;
This file was generated on Mon Mar 31 17:18:18 PDT 2008 from file RCL_neg.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci