Availability::- use_module(library(prolog_xref)).(can be autoloaded)
- xref_called(?Source, ?Called, ?By) is nondet
- xref_called(?Source, ?Called, ?By, ?Cond) is nondet
- Enumerate the predicate-call relations. Predicate called by
directives have a By '<directive>'.