Availability:
:- use_module(library(prolog_xref)).(can be autoloaded)- xref_module(?Source, ?Module) is nondet
- True if Module is defined in Source.
:- use_module(library(prolog_xref)).(can be autoloaded)