True when Head refers to a predicate that has property
Property. With sufficiently instantiated Head,
tries to resolve the predicate the same way as calling it would do: if
the predicate is not defined it scans the default modules (see default_module/2)
and finally tries the autoloader. Unlike calling, failure to find the
target predicate causes
to fail silently. If Head is not sufficiently bound, only
currently locally defined and already imported predicates are
enumerated. See current_predicate/1
for enumerating all predicates. A common issue concerns generating
all built-in predicates. This can be achieved using the code below:
functor(Head, Name, Arity),
\+ sub_atom(Name, 0, _, _, $). % discard reserved names
The predicate predicate_property/2
is covered by part-II of the ISO standard (modules). Although we are not
aware of any Prolog system that implements part-II of the ISO standard, predicate_property/2
is available in most systems. There is little consensus on the
implemented properties though. SWI-Prolog's auto loading
feature further complicate this predicate.
Property is one of:
- True if the predicate can be autoloaded from the file File.
undefined, this property is not generated.
- True if the predicate is locked as a built-in predicate. This implies it
cannot be redefined in its definition module and it can normally not be
seen in the tracer.
- True if the predicate is defined. This property is aware of sources
being reloaded, in which case it claims the predicate defined
only if it is defined in another source or it has seen a definition in
the current source. See compile_aux_clauses/1.
- The predicate is defined to be deterministic using det/1.
- True after discontiguous/1
was used to flag that the clauses of the predicates may not be
- True if assert/1
may be used to modify the predicate. This property is set using dynamic/1.
- True if the predicate is in the public list of the context module.
- Is true if the predicate is imported into the context module from module Module.
- Unify FileName with the name of the source file in which the
predicate is defined. See also source_file/2
and the property
line_count. Note that this reports the file of the first
clause of a predicate. A more robust interface can be achieved using nth_clause/3
- True if the predicate is defined in the C language.
- True when Module is the module in which Head is or
will be defined. Resolving this property goes through the same search
mechanism as when an undefined predicate is encountered, but does not
perform any loading. It searches (1) the module inheritance hierarchy
and (2) the autoload index if the unknown
flag is not set to
fail in the target module.
- Indexes is a list of additional (hash) indexes on the
predicate. Each element of the list is a term ArgSpec-Index.
ArgSpec denotes the indexed argument(s) and is one of
- Hash on a single argument. Argument is the 1-based argument
- Hash on a combination of arguments.
- Index on a sub-argument. Position is a list holding first the argument
of the predicate then the argument into the compound and recursively
into deeper compound terms.
Index is a term
hash(Buckets, Speedup, Size, IsList).
Buckets is the number of buckets in the hash and Speedup
is the expected speedup relative to trying all clauses linearly, Size
is the size of the index in memory in bytes and finally, IsList
indicates that a list is created for all clauses with the same key. This
is used to create deep indexes for the arguments of compound
Note: This predicate property should be used for analysis and
statistics only. The exact representation of Indexes may
change between versions. The utilities jiti_list/0 jiti_list/1
jit indexes of matching predicates in a user friendly way.
- True if the predicate is defined in Prolog. We return true on this
because, although the code is actually compiled, it is completely
transparent, just like interpreted code.
- True if the predicate is covered by the ISO standard (ISO/IEC 13211-1).
- Unify LineNumber with the line number of the first clause of
the predicate. Fails if the predicate is not associated with a file. See
See also the
file property above, notably the reference to clause_property/2.
- True if there may be multiple (or no) files providing clauses for the
predicate. This property is set using multifile/1.
- If the predicate is declared as a meta-predicate using meta_predicate/1,
unify Head with the head-pattern. The head-pattern is a
compound term with the same name and arity as the predicate where each
argument of the term is a meta-predicate specifier. See meta_predicate/1
- True if the predicate is tabled or dynamic using monotonic propagation.
See section 7.8.
- Details of the predicate are not shown by the debugger. This is the
default for built-in predicates. User predicates can be compiled this
way using the Prolog flag generate_debug_info.
- True if the predicate implements a grammar rule. See
- Do not show ports of this predicate in the debugger.
- Unify ClauseCount to the number of clauses associated with
the predicate. Fails for foreign predicates. This property respects the
logical update view and counts visible clauses at the moment
the predicate was started.
- Similar to
number_of_clauses(ClauseCount), but only counts
rules. A rule is defined as a clauses that has a body
that is not just
true (i.e., a fact).
- Database generation at which the predicate was modified for the last
time. Intended to quickly assesses the validity of caches.
- This property applies to dynamic and tabled predicates. For dynamic
predicates it (temporary) stops propagating updates to dependent
incrementally or monotonic tabled predicates. For tabled predicates it
is not an error for an opaque predicate to depend on incremental or
monotonic dynamic or tabled predicates.
- Predicate is declared public using public/1.
Note that without further definition, public predicates are considered
undefined and this property is not reported.
- The predicate (with arity 4) is declared to provide quasi quotation
syntax with quasi_quotation_syntax/1.
- Memory used for this predicate. This includes the memory of the
predicate header, the combined memory of all clauses including erased
but not yet garbage collected clauses (see garbage_collect_clauses/0
and the memory used by clause indexes (see the
indexed(Indexes) property. Excluded are lingering
data structures. These are garbage data structures that have been
detached from the predicate but cannot yet be reclaimed because they may
be in use by some thread.
- The predicate has been defined using single sided unification
rules. See section 5.6.
- The definition can not be modified using assertz/1
and friends. This property is the opposite from
i.e., for each defined predicate, either
is true but never both.
- True of the predicate is tabled. The
property can be used to obtain details about how the predicate is
- True of the predicate is tabled and Flag applies.
Any tabled predicate has one of the mutually exclusive flags
subsumptive. In addition, tabled predicates may have one
or more of the following flags
- The table is shared between threads. See section
- The table is subject to
incremental tabling. See section
tabled property to enumerate all tabled
- If true (only possible on the multithreaded version) each thread has its
own clauses for the predicate. This property is set using
- True if the predicate is declared transparent using the
declaration. In the latter case the property
is also provided. See chapter 6
- True if a procedure definition block for the predicate exists, but there
are no clauses for it and it is not declared dynamic or multifile. This
is true if the predicate occurs in the body of a loaded predicate, an
attempt to call it has been made via one of the meta-call predicates,
the predicate has been declared as e.g., a meta-predicate or the
predicate had a definition in the past. Originally used to find missing
predicate definitions. The current implementation of list_undefined/0
used cross-referencing. Deprecated.
- True when predicate can be called without raising a predicate existence
error. This means that the predicate is (1) defined, (2) can be
inherited from one of the default modules (see default_module/2)
or (3) can be autoloaded. The behaviour is logically consistent iff the
visible is provided explicitly. If the property is left
unbound, only defined predicates are enumerated.
- If true, the clauses are not saved into a saved state by qsave_program/[1,2].
This property is set using volatile/1.