mode_non_terminal/2 — Logtalk 3.100.1

directive

# `mode_non_terminal/2`

## Description

    mode_non_terminal(Mode, NumberOfProofs)

Most non-terminals can be used with several instantiations modes. This directive enables the specification of each instantiation mode and the corresponding number of proofs (but not necessarily distinct solutions). The instantiation mode of each argument can include type information.

## Template and modes

    mode_non_terminal(+predicate_mode_term, +number_of_proofs)
    mode_non_terminal(+non_terminal_mode_term, +number_of_proofs)

## Examples

    :- mode_non_terminal(zero_or_more(-list(atomic)), one).

See also

mode/2, info/2, predicate_property/2