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)

Examples

(none)