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]: suspend(writeln(hello), 2, X->inst, Susp), suspension_to_goal(Susp, Goal, Module). X = X Susp = 'GOAL'(writeln(hello), eclipse) Goal = writeln(hello) Module = eclipse Delayed goals: writeln(hello) yes. [eclipse]: suspend(writeln(hello), 2, X->inst, Susp), kill_suspension(Susp), % killed before woken X=1. Susp = 'WOKEN GOAL' X = 1 yes.