Next: ref-lps-apf, Previous: ref-lps-ove, Up: ref-lps [Contents][Index]
The following properties are associated with predicates either implicitly or by declaration:
built_in
The predicate is built-in.
compiled
The predicate is in virtual code representation.
interpreted
The predicate is in interpreted representation.
fd_constraint
The predicate is a so-called FD predicate; see Defining Primitive Constraints.
dynamic
The predicate was declared dynamic.
volatile
The predicate was declared volatile.
multifile
The predicate was declared multifile.
block(SkeletalGoal)
The predicate has block declarations.
meta_predicate(SkeletalGoal)
The predicate is a meta-predicate.
As of release 4.2, the SkeletalGoal will contain the specifications used in the original meta-predicate declaration.
exported
The predicate was exported from a module.
imported_from(Module)
The predicate was imported from the module Module.
Every predicate has exactly one of the properties
[built_in, compiled, interpreted, fd_constraint]
,
at most one of the properties
[exported, imported_from(Module)]
,
zero or more block(SkeletalGoal)
properties,
and at most one of the remaining properties.
To query these associations, use predicate_property/2
. The
reference page contains several examples.
See mpg-ref-predicate_property.