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