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

Availability::- use_module(library(check)).(can be autoloaded)
Source[det]list_cross_module_calls
List calls from one module to another using Module:Goal where the callee is not defined exported, public or multifile, i.e., where the callee should be considered private.