Повтор, определяемый пользователем

repeat.

repeat:-

repeat.

С помощью предиката repeat можно устроить цикл типа "до тех пор, пока".

repetive:-

repeat,

<повторяемое тело цикла>,

<условие выхода>, !.

Пример. Программа “Эхо” считывает терм, введенный с клавиатуры, и дублирует его на экран, если пользователь введет stop, то программа завершается.

do-echo:-

repeat,

read(Term),

write_ln(Term),

check(Term),!.

check(stop):-

write_ln(' - OK,bye').

check(_):-

fail.