TermDoc/Term_NT_08.html

# Non-terminal symbol `Term`

rule(s) | occurrences

Defining rules for nonterminal symbol `Term`:

`Term` |  | `NUMBER`
|  | `Op`
|  | `Op` '`(`' `Body` '`)`'
|  | `OP_` `Term`
|  | `Term` `_OP_` `Term`
|  | `Term` `_OP`
|  | '`(`' `Term` '`)`'

Occurrences of symbol `Term` in body of other rules:

`Clause` |  | `Term` '`.`'
`Body` |  | `Term`
`Body` |  | `Body` '`,`' `Term`

Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.