4.14.5 Summary of Predicates

:Head --> :Body

A possible form for Head is Body

expand_term(+T,-X) hookable

term T expands to term X using user:term_expansion/6 or grammar rule expansion

phrase(:P, -L)

phrase(:P, ?L, ?R)

R or the empty list is what remains of list L after phrase P has been found

user:term_expansion(+Term1, +Layout1, +Tokens1, -Term2, -Layout2, -Tokens2) hook

Overrides or complements the standard transformations to be done by expand_term/2.