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