Advanced Control and Suspensions

Predicates

attach_suspensions(+Trigger, +Susps)

Insert the suspensions Susps into the suspension list of the symbolic trigger Trigger.

attached_suspensions(+Trigger, ?SuspensionList)

Retrieves a list of all suspensions attached to the symbolic trigger Trigger.

call_priority(+Goal, +Priority)

Execute Goal with priority Priority.

current_suspension(-Susp)

Susp is a live (sleeping or scheduled) suspension.

delayed_goals(?GoalList)

Succeeds if GoalList is the list of all goals currently delayed.

delayed_goals(?Var, ?GoalList)

Succeeds if GoalList is the list of all goals delayed by the variable Var.

delayed_goals_number(?Var, ?Number)

Succeeds if Number is the number of goals delayed by the variable Var.

enter_suspension_list(++Position, +Attribute, +Susp)

Enter the suspension Susp into the suspension list at position Positiion within the structure Attribute.

get_priority(-Priority)

Get the priority of the currently executing goal.

get_suspension_data(+Susp, +Name, -Value)

Access properties of suspended goals.

init_suspension_list(+Position, +Attribute)

Initialise the argument position Position within the structure Attribute with an empty suspension list.

insert_suspension(?Term, +Susp, +Index)

Insert the suspension Susp into the Index'th suspension list of the current module's attribute for all metaterms that occur in Term.

insert_suspension(?Term, +Susp, +Index, +Module)

Insert the suspension Susp into the Index'th suspension list of the attribute Module for all metaterms that occur in Term.

kill_suspension(+Susp)

Kill the suspended goal represented by Susp, i.e. treat it as if it had been woken.

make_suspension(+Goal, +Prio, -Susp)

Make Goal a suspended goal with waking priority Prio and return the corresponding suspension object in Susp.

make_suspension(+Goal, +Prio, -Susp, +Module)

Make Goal from module Module a suspended goal with waking priority Prio and return the corresponding suspension object in Susp.

merge_suspension_lists(+Pos1, +Attr1, +Pos2, +Attr2)

Destructively merge the suspension list on Pos1 in structure Attr1 into the suspension list on Pos2 in structure Attr2.

notify_constrained(-AttrVar)

Notify the system that the attributed variable was constrained.

schedule_suspensions(+Trigger)

Take the suspension list associated with the symbolic trigger Trigger and schedule them for execution.

schedule_suspensions(+Position, +Attribute)

Take the suspension list on argument position Position within Attribute, and schedule them for execution.

set_suspension_data(+Susp, +Name, +Value)

Modify properties of suspended goals.

subcall(+Goal, ?Delayed_goals)

Succeeds iff Goal succeeds and unifies Delayed_goals with a list of remaining delayed goals.

suspend(+Goal, +Prio, +CondList)

Delay the Goal and wake it with priority Prio as soon as one of the specifications in CondList occurs.

suspend(+Goal, +Prio, +CondList, -Susp)

Delay the Goal as suspension Susp and wake it with priority Prio as soon as one of the specifications in CondList occurs.

suspensions(-Susps)

Returns a list of all currently live (sleeping or scheduled) suspensions.

suspensions(?Var, ?SuspensionList)

Retrieves a list of all suspensions attached to the variable Var.

trigger(+Trigger)

Wake the suspensions associated with the symbolic trigger Trigger until there are no more left.

wake

Execute all scheduled suspensions whose priorities are higher than the current one.