11.3.152 predicate_property/2

Synopsis

predicate_property(?Callable, ?PredProperty)

Unifies PredProperty with a predicate property of an existing predicate, and Callable with the most general term that corresponds to that predicate.

Arguments

:Callable
callable

The skeletal specification of a loaded predicate.

PredProperty
term

The various properties associated with Callable. Each loaded predicate will have one or more of the properties:

Description

If Callable is instantiated then predicate_property/2 successively unifies PredProperty with the various properties associated with Callable.

If PredProperty is bound to a valid predicate property, then predicate_property/2 successively unifies Callable with the skeletal specifications of all loaded predicates having PredProperty.

If Callable is not a loaded predicate or PredProperty is not a valid predicate property, the call fails.

If both arguments are unbound, then predicate_property/2 can be used to backtrack through all currently defined predicates and their corresponding properties.

Examples

See Also

ref-lps-ove.


Send feedback on this subject.