RCL_neg.html

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