A.7 library(check): Consistency checking
All Application Manual Name SummaryHelp

Availability::- use_module(library(check)).(can be autoloaded)
Source[det]list_undefined
[det]list_undefined(+Options)
Report undefined predicates. This predicate finds undefined predicates by decompiling and analyzing the body of all clauses. Options:
module_class(+Classes)
Process modules of the given Classes. The default for classes is [user]. For example, to include the libraries into the examination, use [user,library].
See also
- gxref/0 provides a graphical cross-referencer.
- make/0 calls list_undefined/0