- get_call(:CallTerm, -Trie, -Return) is semidet
- 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.