Lines Matching refs:suspend
28 \index{suspend}
47 suspend(Goal, 3, Term->inst).
56 insert_suspension(Term, Susp, inst of suspend, suspend).
107 suspend(Goal, 3, Term->inst).
152 suspend(wait_for_var([X|L], Goal), 3, X->inst)
204 suspend(dif(T1, T2), 3, V->inst)
206 suspend(dif(T1, T2), 3, Vars->bound)
209 fail % nothing to suspend on, they are identical
296 The reason for this handling is that the system cannot suspend
391 suspend(diff_pairs([A1-A2|List], Link), 3, A1-A2->bound)
516 suspend(compare_args(A1, A2, Link, NewLink, Yes), 3,
590 suspend(cond_eval(X, Yes, No), 2, Yes-No->inst).
601 The \notationidx{constrained} list in the \notation{suspend} attribute
635 suspend(compare_args(A1, A2, Link, NewLink, Yes), 3,