Пример использования метода повтора для организации цикла в языке prolog

% Данный пример иллюстрирует как организовать цикл, используя метод повтора (МП), определяемого пользователем

% Схема метода повтора (МП), определяемого пользователем

%<повторить что-то> :- loop,
%               <повторяемое тело>,
%               <условие выхода>, !.
%
%loop.
%loop:-loop.


% Цель задачи: выводить на экран то, что ввел пользователь (эхо)

predicates
   nondeterm loop
   nondeterm check(symbol)
   do_echo

clauses
  do_echo :- loop,
             readln(Name), write(Name), nl,
         check(Name), !.

  loop.
  loop:-loop.

  % Условие выхода из цикла
  check("Стоп"):-nl.

  % Условие продолжения цикла
  check(_):-fail.

goal
  do_echo.