freeze/2

freeze(? X,: G)*

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