Availability:built-in
[ISO]current_predicate(:PredicateIndicator)True if PredicateIndicator is a currently defined predicate.
A predicate is considered defined if it exists in the specified module,
is imported into the module or is defined in one of the modules from
which the predicate will be imported if it is called (see
section 6.10). Note
that current_predicate/1
does not succeed for predicates that can be autoloaded
unless they are imported using autoload/2.
See also current_predicate/2
and
predicate_property/2.
If PredicateIndicator is not fully specified, the
predicate only generates values that are defined in or already imported
into the target module. Generating all callable predicates therefore
requires enumerating modules using current_module/1.
Generating predicates callable in a given module requires enumerating
the import modules using import_module/2
and the autoloadable predicates using the
predicate_property/2 autoload.