`BLR.grm`

    // FILE. . . . . /home/hak/ilt/src/ilog/rif/BLR.grm
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . 4j4zn71
    // STARTED ON. . Wed Apr 02 14:07:24 2008

    // Last modified on Wed Oct 01 09:36:45 2008 by hak

    ////////////////////////////////////////////////////////////////////////
    // The BLD Rule Language:
    ////////////////////////////////////////////////////////////////////////

    Group
      : GROUP Meta_opt OPENPAR RuleSet_opt CLOSEPAR
      [ L:"Group" C:(meta*2 rule*4) ]
      ;

    Meta
      : Frame
      ;

    Rule
      : Clause
      | FORALL Vars_opt OPENPAR Clause CLOSEPAR
      [ L:"Forall" C:(declare*2 formula.4) ]
      ;

    Clause
      : Atomic
      | Implies
      ;

    Implies
      : Atomic IF Formula
      [ L:"Implies" C:(if.3 then.1)]
      ;

    RuleSet_opt
      : /* empty */
      | RuleSet
      ;

    RuleSet
      : RuleOrGroup
      | RuleSet RuleOrGroup
      ;

    RuleOrGroup
      : Rule
      | Group
      ;

    ////////////////////////////////////////////////////////////////////////

    Meta_opt
      : /* empty */
      | Meta
      ;

    Vars_opt
      : /* empty */
      | Vars
      ;

    ////////////////////////////////////////////////////////////////////////

This file was generated on Tue Oct 07 10:36:16 CEST 2008 from file `BLR.grm`
by the `ilog.language.tools.Hilite` Java tool written by Hassan Aït-Kaci