xref_meta(+Source, +Head, -Called) is semidet

True when Head calls Called in Source.

Arguments:

Called

- is a list of called terms, terms of the form Term+Extra or terms of the form //(Term).