Logtalk predicate directive: metapredicate/1

contents > reference manual > directives

## `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(::, ::)).

previous | glossary | next
Copyright © Paulo Moura — Logtalk.org