Next: , Previous: , Up: mpg-bpr   [Contents][Index]


11.3.159 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, then 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

Exceptions

None.

See Also

ref-lps-ove.



Send feedback on this subject.