[Group Index|Full Index]
ECLiPSe Kernel: Control
- !
-
Cut - succeeds and removes all choice points between cut and parent goal.
- +Goal1 , +Goal2
-
Comma (AND) operator - succeeds if the goals Goal1 and Goal2 both succeed
- +Goal1 -> +Goal2
-
If..Then - succeeds if Goal1 succeeds, and then Goal2 succeeds.
- +Goal1 -> +Goal2 ; +Goal3
-
If..Then..Else - succeeds if either Goal1 succeeds, and then Goal2
succeeds; or else if Goal1 fails, and then Goal3 succeeds.
- -?-> ?Body
-
The matching operator. The head of the clause which contains it will not
be unified with the caller, one-way matching will be used instead.
- +DefModule : +Goal
-
Goal is executed using the predicate definition in DefModule rather
than the visible one.
- +Goal1 ; +Goal2
-
Semicolon (OR) operator - Succeeds if the goal Goal1 succeeds or if the
goal Goal2 succeeds.
- Goal @ ContextModule
-
Goal is executed in the calling context of ContextModule.
- \+ +Goal
-
Succeeds if Goal cannot be satisfied. Uses negation as failure (synonym of
not/1 and fail_if/1).
- +Vars ^ +Goal
-
Succeeds if Goal succeeds.
- attach_suspensions(+Trigger, +Susps)
-
Insert the suspensions Susps into the suspension list of the symbolic
trigger Trigger.
- block(+Goal, ?Tag, +Recovery)
-
Similar to call(Goal) if Goal succeeds or fails. If an exit_block/1 is
executed inside Goal, whose argument unifies with Tag, then Recovery is
executed.
- call(+Goal)
-
Succeeds if Goal succeeds.
- call_priority(+Goal, +Priority)
-
Execute Goal with priority Priority.
- current_suspension(-Susp)
-
Susp is a live (sleeping or scheduled) suspension.
- +IterationSpecs do +Goals
-
Execute Goals iteratively according to IterationSpecs.
- exit_block(?TagExit)
-
Continues the program at the recovery procedure of the block/3 predicate
whose Tag argument unifies with TagExit.
- fail
-
Does not succeed. A synonym of false/0.
- false
-
Does not succeed (synonym of fail/0).
- +IterationSpecs do +Goals
-
Execute Goals iteratively according to IterationSpecs.
- +IterationSpecs do +Goals
-
Execute Goals iteratively according to IterationSpecs.
- +IterationSpecs do +Goals
-
Execute Goals iteratively according to IterationSpecs.
- +IterationSpecs do +Goals
-
Execute Goals iteratively according to IterationSpecs.
- fork(+Max, ?I)
-
Succeeds for all integers I between 1 and Max. The solutions are generated
in parallel.
- +IterationSpecs do +Goals
-
Execute Goals iteratively according to IterationSpecs.
- get_priority(-Priority)
-
Get the priority of the currently executing goal.
- init_suspension_list(+Position, +Attribute)
-
Initialise the argument position Position within the structure
Attribute with an empty suspension list.
- 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.
- mutex(+MutexId, +Goal)
-
Equivalent to once(Goal) but with mutual exclusion among parallel workers.
- not +Goal
-
Succeeds if Goal cannot be satisfied (uses negation as failure).
- notify_constrained(-AttrVar)
-
Notify the system that the attributed variable was constrained.
- once +Goal
-
Succeeds if Goal succeeds, and removes all its alternatives --- equivalent
to call((Goal, !))
- repeat
-
Succeeds as often as tried.
- 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.
- true
-
Succeeds always.
- wake
-
Execute all scheduled suspensions whose priorities are higher than the current
one.
- ~?Goal
-
The sound negation operator. If Goal is not ground, the predicate delays.