Did you know ... Search Documentation:
Predicate body_term_calls/2
 body_term_calls(:BodyTerm, -Goal) is nondet
True when BodyTerm calls Goal. This predicate looks into control structures as well as meta predicates based on predicate_property/2.

When a variable is called, this is normally returned in Goal. Currently if a variable is called with additional arguments, e.g., call(Var, a1), this call is reported as call(Var, a1).

Tags are associated to your profile if you are logged in
Tags: