11.3.85 freeze/2

Synopsis

freeze(+Flag, +Goal)

Blocks Goal until Flag is bound.

Arguments

Flag

term

:Goal

callable, must be nonvar

Description

Defined as if by:

     freeze(X, Goal) :- when(nonvar(X), Goal).

or

     :- block freeze(-, ?).
     freeze(_, Goal) :- Goal.

Backtracking

Depends on Goal.

Exceptions

Call errors (see ref-sem-exc).

See Also

ref-sem-sec.