->/2

Synopsis

+Head-->+Body

A possible form for Head is Body. Used primarily in grammar rules.

Arguments

Head term

Prolog term, or list of terms

Body term

Prolog term, or list of terms

The formal description of grammar heads and grammar bodies is spelled out in ref-syn-syn-sen.

Description

Head and Body are translated into lists of Prolog terms by expand_term/2.

Exceptions

context_error

Cannot call -->/2 as a predicate

Examples

See examples in ref-gru-exa and ref-gru-tra.

See Also

expand_term/2, 'C'/3, term_expansion/2, phrase/[2,3] ref-gru