8.2 Coroutining
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Constraint Logic Programming
Coroutining
dif/2
freeze/2
frozen/2
when/2
call_residue_vars/2
Packages
Availability:
built-in
frozen
(
@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
.
frozen(@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