phrase//1¶
Description¶
phrase(NonTerminal)
This non-terminal takes a non-terminal or a grammar rule body and parses it using the implicit difference list of tokens. A common use is to wrap what otherwise would be a naked variable in a grammar rule body.
Modes and number of proofs¶
phrase(+callable) - zero_or_more
Errors¶
NonTerminal
is a variable:instantiation_error
NonTerminal
is neither a variable nor a callable term:type_error(callable, NonTerminal)