repeat/0

repeat

Nondetermenistic loop.

Remark

The predicate repeat will always succeed, but because of its nondeterminism it will raise the new subgoal at the each loop. repeat is defined as:

repeat.
repeat :- repeat.

Usualy the repeat is used for the fail-controlled loops.

Example

loop :- 
   repeat,
     write ("Yet more loop ?"),
     read (YN),
   (YN = "N";YN="n").