built-in method

phrase//1

Description

phrase(GrammarRuleBody)

This non-terminal takes a grammar rule body and parses it using the two implicit grammar rule arguments. A common use is to wrap what otherwise would be a naked meta-variable in a grammar rule body when defining a meta non-terminal.

Meta-non-terminal template

phrase(0)

Modes and number of proofs

phrase(+callable) - zero_or_more

Errors

GrammarRuleBody is a variable:
instantiation_error
GrammarRuleBody is neither a variable nor a callable term:
type_error(callable, GrammarRuleBody)

Examples

(none)