Next: mpg-ref-write, Previous: mpg-ref-volatile, Up: mpg-bpr [Contents][Index]
when/2
when(+Condition,+Goal)
Blocks Goal until the Condition is true.
callable, must be nonvar and one of:
nonvar(X)
False until X is nonvar.
ground(X)
False until X is ground.
?=(X,Y)
False while dif(X,Y)
would block.
Condition,Condition
True if both conditions are true.
Condition;Condition
True if at least one condition is true.
callable, must be nonvar
Depends on Goal.
| ?- when(((nonvar(X);?=(X,Y)),ground(T)), process(X,Y,T)).
Call errors (see ref-sem-exc).