Yacc Form of grammar FOT.grm

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 ;