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

Availability::- use_module(library(check)).(can be autoloaded)
Sourcelist_redefined
Lists predicates that are defined in the global module user as well as in a normal module; that is, predicates for which the local definition overrules the global default definition.