7.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.
ClioPatria (version V3.1.1-21-gb8003bb)