Lines Matching refs:suspend
211 {\bf suspend} library. Both implementations
212 have the same declarative meaning, but the {\bf suspend} version can
217 ?- suspend : (X =< 4).
222 ?- suspend : (X =< 4), X = 2.
226 ?- suspend : (X =< 4), X = 5.
513 this time using the suspend/3 built-in predicate to create a delayed goal for
514 \index{suspend/3}
518 suspend(capacity(T,N), 0, [T,N]->inst).
525 \item[{\bf suspend(Goal, Priority, Triggers)}]
526 \index{suspend/3}
568 suspend(ge(X,Y), 0, [X->ic:max, Y->ic:min])
582 Note that we suspend a new instance of the {\tt ge(X,Y)} goal {\em before}
620 suspend(ge(X,Y,MySusp), 0, [X->ic:max, Y->ic:min], MySusp),
628 true % implicitly re-suspend
635 We have used the new primitives suspend/4 and kill_suspension/1.