:Goal)Delay the execution of Goal until Var is bound
(i.e., is not a variable or attributed variable). If Var is
bound on entry
is equivalent to call/1.
predicate is realised using an attributed variable associated with the
freeze. See also frozen/2.