// 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 Tue Nov 04 10:39:10 2008 by hak

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

Document
  : IriMeta_opt DOCUMENT OPENPAR Base_opt Prefix_star DocumentBody CLOSEPAR
  ;

Base
  : BASE OPENPAR Iri CLOSEPAR
  ;

Prefix
  : PREFIX OPENPAR Name Iri CLOSEPAR
  ;

DocumentBody
  : Import_star Group_opt
  ;

Import
  : IriMeta_opt IMPORT OPENPAR IriConst Profile_opt CLOSEPAR
  ;

Group
  : IriMeta_opt GROUP OPENPAR RuleOrGroup_star CLOSEPAR
  ;

RuleOrGroup
  : Rule
  | Group
  ;

Rule
  : Clause
  | QuantifiedClause
  ;

QuantifiedClause
  : IriMeta_opt FORALL Var_plus OPENPAR Clause CLOSEPAR
  ;

Clause
  : AtomicFormula
  | Implies
  ;

Implies
  : IriMeta_opt Consequent IF Antecedent
  ;

Consequent
  : AtomicFormula
  | AND OPENPAR AtomicFormula_star CLOSEPAR
  ;

Antecedent
  : Formula
  ;

Profile
  : Term
  ;

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

Base_opt
  : /* empty */
  | Base
  ;

Prefix_star
  : /* empty */
  | Prefix_star Prefix
  ;

Import_star
  : /* empty */
  | Import_star Import
  ;

Profile_opt
  : /* empty */
  | Profile
  ;

Group_opt
  : /* empty */
  | Group
  ;

RuleOrGroup_star
  : /* empty */
  | RuleOrGroup_star RuleOrGroup
  ; 

AtomicFormula_star
  : /* empty */
  | AtomicFormula_star AtomicFormula
  ; 

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

This file was generated on Mon Nov 17 15:35:41 PST 2008 from file BLR.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci