A.35 library(prolog_xref): Prolog cross-referencer data collection
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(prolog_xref)).(can be autoloaded)
Source[semidet]xref_meta(+Source, +Head, -Called)
True when Head calls Called in Source.
Called is a list of called terms, terms of the form Term+Extra or terms of the form //(Term).
ClioPatria (version V3.1.1-40-g9d9e003)