Availability:built-in
[det]frozen(@Term,
-Goal)Unify Goal with the goal or conjunction of goals delayed on
some attributed variable in Term. If Term is free
of attributed variables, Goal is unified to true.
Note that
frozen/2
reports all delayed goals, not only those delayed due to
freeze/2.
The goals are extracted using copy_term/3.192Versions
prior to 8.3.7 only report goals delayed using freeze/2
on a plain variable. The new behaviour is compatible with SICStus.
See also
term_attvars/2
and call_residue_vars/2.
