frozen/2¶

frozen( X, G)*

Unify G with a conjunction of goals suspended on variable X, or true if no goal has suspended. Also succeeds if X is bound.