A.6 library(check): Consistency checking
AllApplicationManualNameSummaryHelp

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.
ClioPatria (version V3.1.1-21-gb8003bb)