This yacc grammar was generated on Fri Jun 15 11:10:58 CEST 2018 from the annotated Jacc grammar file FOT.grm.
Session
: Clauses Exit
| Exit
;
Exit
: 'exit' '.'
;
Clauses
: Clause
| Clauses Clause
;
Clause
: PRAGMA '.'
| Term '.'
| error '.'
;
Term
: VARIABLE
| FUNCTOR
| FUNCTOR '(' Body ')'
| '(' Term ')'
;
Body
: Term
| Body ',' Term
;
Copyright © 2018 by Hassan Aït-Kaci; All Rights Reserved.