RCL_nafneg.html

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 Thu Sep 21 08:10:12 PDT 2006 from file RCL_nafneg.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci