metapredicate/1

Description

metapredicate(Metapredicate)

Declares metapredicates, i.e., predicates that have arguments that will be called as goals.

Template and modes

metapredicate(+metapredicate_predicate_term)

Examples

:- metapredicate(findall(*, ::, *)).

:- metapredicate(forall(::, ::)).