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.

Send feedback on this subject.