protocol
loopp
Loop control constructs protocol.
staticPublic predicates
whiledo/2
While Condition is true do Action.
staticwhiledo(Condition,Action)whiledo(0,0)whiledo(+callable,@callable) - zero_or_onedowhile/2
Do Action while Condition is true.
staticdowhile(Action,Condition)dowhile(0,0)dowhile(@callable,+callable) - zero_or_oneforeach/3
For each Element in List call Goal.
staticforeach(Element,List,Goal)foreach(*,*,0)foreach(@var,+list(term),@callable) - zero_or_oneforeach/4
For each Element in List at position Index call Goal. Index starts at 1.
staticforeach(Element,Index,List,Goal)foreach(*,*,*,0)foreach(@var,@var,+list(term),@callable) - zero_or_oneforto/3
Calls Goal counting up from First to Last. Increment is 1. For convenience, First and Last can be arithmetic expressions. Fails iff Goal fails.
staticforto(First,Last,Goal)forto(*,*,0)forto(+number,+number,@callable) - zero_or_oneforto/4
Calls Goal counting up from First to Last and binding Count to each successive value. Increment is 1. For convenience, First and Last can be arithmetic expressions. Fails iff Goal fails.
staticforto(Count,First,Last,Goal)forto(*,*,*,0)forto(@var,+number,+number,@callable) - zero_or_oneforto/5
Calls Goal counting up from First to Last and binding Count to each successive value. For convenience, First, Last, and Increment can be arithmetic expressions (uses Increment absolute value). Fails iff Goal fails.
staticforto(Count,First,Last,Increment,Goal)forto(*,*,*,*,0)forto(@var,+number,+number,+number,@callable) - zero_or_onefordownto/3
Calls Goal counting down from First to Last. Decrement is 1. For convenience, First and Last can be arithmetic expressions. Fails iff Goal fails.
staticfordownto(First,Last,Goal)fordownto(*,*,0)fordownto(+number,+number,@callable) - zero_or_onefordownto/4
Calls Goal counting down from First to Last and binding Count to each successive value. Decrement is 1. For convenience, First and Last can be arithmetic expressions. Fails iff Goal fails.
staticfordownto(Count,First,Last,Goal)fordownto(*,*,*,0)fordownto(@var,+number,+number,@callable) - zero_or_onefordownto/5
Calls Goal counting down from First to Last and binding Count to each successive value. For convenience, First, Last, and Decrement can be arithmetic expressions (uses Decrement absolute value). Fails iff Goal fails.
staticfordownto(Count,First,Last,Decrement,Goal)fordownto(*,*,*,*,0)fordownto(@var,+number,+number,+number,@callable) - zero_or_oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)
See also