If it is asked to Redo then it will keep on succeeding.
test:-repeat
write(hello)
fail.
The goal test produces the output:
hellohellohellohellohellohellohellohellohello...
repeat/0 behaves as if it were defined in Prolog as:
repeat.repeat:-
repeat.