RCL_nafneg.grm
|
// Additional rule for LITFORM: // LITFORM ::= 'Naf' 'Neg' Atom LITFORM : 'Naf' 'Neg' Atom
This allows one legal nesting of the two kinds of negations, for
which we propose to use the notation $Naf$/$Neg$, as in RuleML:
Its XML serialization form is: <rcl:NafNeg> (XML serialization of $Atom$) </rcl:NafNeg> |
[ rcl:NafNeg 3 ] // XML serialization pattern ;
This file was generated on Mon Mar 31 17:18:18 PDT 2008 from file RCL_nafneg.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci