[semidet]get_call(:CallTerm,
-Trie, -Return)True when Trie is an answer trie for a variant of CallTerm. Return
is a term ret/N with N variables that share with variables in
CallTerm. The Trie contains zero or more instances
of the Return term. See also get_calls/3.