Logtalk reference manual
Built-in method: predicate_property/2
Contents > Reference Manual > Built-in Methods > predicate_property/2

## predicate_property/2

#### Description

    predicate_property(Predicate, Property)

Enumerates, by backtracking, the properties of a visible predicate. The valid predicate properties are listed in the language grammar.

#### 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 explicit object:
  `Object::predicate_property(foo(_), Property)`