8.2 Coroutining
AllApplicationManualNameSummaryHelp

Availability:built-in
Sourcefrozen(@Var, -Goal)
Unify Goal with the goal or conjunction of goals delayed on Var. If no goals are frozen on Var, Goal is unified to true.