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

Availability::- use_module(library(check)).(can be autoloaded)
Source[det]list_autoload
Report predicates that may be auto-loaded. These are predicates that are not defined, but will be loaded on demand if referenced.
See also
autoload/0
To be done
This predicate uses an older mechanism for finding undefined predicates. Should be synchronized with list undefined.
ClioPatria (version V3.1.1-51-ga0b30a5)