Vars->moduleName:(suspListName of attrStruct)which can be abbreviated (if moduleName and attrStruct are identical) to
Vars->moduleName:suspListNameThe following are examples for valid conditions:
Vars->inst Vars->constrained Vars->fd:min Vars->fd:(min of fd)A specification of the form trigger(Atom) states that the goal should be woken by a symbolic trigger, ie. by a matching invocation of the built-in schedule_suspensions/1. The name of the trigger can be an arbitrary atom.
[eclipse 1]: suspend(writeln(hello), 2, X->inst). X = X Delayed goals: writeln(hello) yes. [eclipse 2]: suspend(writeln(hello), 2, X->inst), writeln(one), X=1, % causes waking writeln(two). one hello two X = 1 yes. [eclipse 3]: suspend(writeln(X), 2, [X,Y]->bound), X=Y. X X = X Y = X yes. [eclipse 4]: suspend(writeln(world), 2, trigger(hello)), schedule_suspensions(hello). world yes.