Logtalk reference manual
Built-in method: 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 locally visible user predicate or a user 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)
See also
current_op/3
, current_predicate/1