|Did you know ...||Search Documentation:|
:- use_module(library(prolog_xref)).(can be autoloaded)
Called-Bypairs. The xref_called/5 version may return duplicate
Called-Byif Called is called from multiple clauses in By, but at most one call per clause.
|By||is a head term or one of the reserved
|Cond||is the (accumulated) condition as
|Line||is the start line of the calling clause.|