Did you know ... Search Documentation:
Predicate xref_module/2
Availability::- use_module(library(prolog_xref)).(can be autoloaded)
 xref_module(?Source, ?Module) is nondet
True if Module is defined in Source.