frozen/2

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.^{194Versions
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.