SWI-Prolog -- check/0

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

[det]check

Run all consistency checks defined by checker/2. Checks enabled by default are:

list_undefined/0 reports undefined predicates
list_trivial_fails/0 reports calls for which there is no matching clause.
list_redefined/0 reports predicates that have a local definition and a global definition. Note that these are not errors.
list_autoload/0 lists predicates that will be defined at runtime using the autoloader.