:- use_module(library(check)).(can be autoloaded)
- 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.