freeze/2¶

freeze(? X,: G)*

Delay execution of goal G until the variable X is bound.