SWI-Prolog -- list

Availability::- use_module(library(check)).(can be autoloaded)

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