Простой пример использования обобщённого правила рекурсии на языке Prolog

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

% Схема метода обобщенного правила рекурсии (ОПР)
%<имя правила рекурсии> :- <условие продолжения>,
% <список предикатов>,
% <имя правила рекурсии>,
% <список предикатов>.

   
% Цель задачи: определить сумму ряда 1, 2, 3, ..., зная количество элементов ряда

predicates
  nondeterm sum_series(integer, integer)
  nondeterm sum_print

clauses

  sum_series(1, 1).
  sum_series(Number,Sum) :- Number > 1,  
  NextNumber = Number - 1,
  sum_series(NextNumber, PartialSum),
  Sum = Number + PartialSum.
   
  sum_print :- sum_series(7, Sum), write("Сумма ряда: "), write(Sum).
   
goal
  sum_print, nl.