Logtalk built-in method: predicate_property/2

contents > reference manual > built-in methods

## `predicate_property/2`

#### Description

>     predicate_property(Predicate, Property)

> Enumerates, by backtracking, the properties of a visible predicate.

#### Template and modes

>     predicate_property(+callable, ?predicate_property)

#### Errors

> Predicate is a variable:
>   `instantiation_error`
> Predicate is neither a variable nor a callable term:
>   `type_error(callable, Predicate)`
> Property is neither a variable nor a valid predicate property:
>   `domain_error(predicate_property, Property)`

#### Examples

> To enumerate, by backtracking, the properties of a predicate visible in this:
>   `predicate_property(foo(_), Property)`
> To enumerate, by backtracking, the properties of a public or protected predicate visible in self:
>   `::predicate_property(foo(_), Property)`
> To enumerate, by backtracking, the properties of a public predicate visible in an object:
>   `Object::predicate_property(foo(_), Property)`

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