11.3.87 frozen/2

Synopsis

frozen(+Term,-Goal)

Goal is unified with the conjunction of all goals blocked on some variable that occurs in Term.

Arguments

Term

term

Goal

callable

Description

If no variable in Term blocks any goal or has attributes that can be interpreted as a goal (see lib-atts), then Goal is unified with the atom true. Otherwise, Goal is unified with the conjunction of all such goals.

Exceptions

None.

See Also

ref-sem-sec.