The following properties are associated with predicates either implicitly or by declaration:
The predicate is built-in.
The predicate is in virtual code representation.
The predicate is in interpreted representation.
The predicate is a so-called FD predicate; see Defining Primitive Constraints.
The predicate was declared dynamic.
The predicate was declared volatile.
The predicate was declared multifile.
The predicate has block declarations.
The predicate is a meta-predicate.
As of release 4.2, the SkeletalGoal will contain the specifications used in the original meta-predicate declaration.
The predicate was exported from a 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
zero or more
and at most one of the remaining properties.
To query these associations, use
reference page contains several examples.