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 [MOD]
the skeletal specification (see ref-syn-spc) of a loaded predicate
PredProperty term
the various properties associated with Callable. Each loaded predicate will have one or more of the properties:

Property
Comments
compiled
can have the multifile property
interpreted

can have either the dynamic or multifile property or both
built_in

multifile

dynamic

exported
on the public predicate list of its source module
imported_from(Module)
imported into the source module from Module )
foreign

meta_predicate(Term)
Term was specified in a meta_predicate declaration. Thus Term consists of the principal functor name followed by mode declarations for its arguments. For example:
               mysort(:, +, -)
               
See ref-mod-met for further information.
volatile
not to be saved in QOF files
locked
not visible in the debugger due to use of -h option to qpc
has_advice
advice has been added for the predicate
checking_advice
advice checking is enabled for the predicate

Description

Examples

Please note: All dynamic predicates are currently interpreted.

See Also

fileerrors/0, nofileerrors/0, gc/0, compile/1, module/[1,2], foreign/[2,3], meta_predicate/1, volatile/1, add_advice/3, check_advice/[0,1], current_predicate/2 ref-mod-ilm-vis