Grammar Rules
Head -->
Body
- A possible form for Head is Body
'C'(
S1,
T,
S2)
- (in grammar rules) S1 is connected to S2 by the terminal T
expand_term(
T,
X)
- term T expands to term X using term_expansion/2
or grammar rule expansion
phrase(
P,
L)
- list L can be parsed as a phrase of type P
phrase(
P,
L,
R)
- R is what remains of list L after phrase P has been found
term_expansion(
T,
X)
- hook called by
expand_term/2