Пример использования методов: откат после неудачи (ОПН) и отсечение и откат (ОО) на языке Prolog

% Данный пример иллюстрирует как получить множество возможных решений.
% Используются методы: откат после неудачи (ОПН) и отсечение и откат (ОО)


% Цель задачи: получить различные списки детей

predicates
  nondeterm child(symbol, symbol)

  all_childs
  all_childs_Alisa
  all_childs_before_Diana
  first_child_Alisa

clauses
  % База детей
  child("Тимур", "Козлов").
  child("Алиса", "Попова").
  child("Женя", "Кузнецова").
  child("Оля", "Фролова").
  child("Алиса", "Шапочкина").
  child("Петр", "Иванов").
  child("Алиса", "Рублева").
 
 
  % Список всех детей - Метод отката после неудачи (ОПН)
  all_childs :- child(X, Y), write(X, " ", Y), nl, fail.

  % Список всех детей с именем Алиса - Метод отката после неудачи (ОПН)
  all_childs_Alisa :- child(X, Y), X="Алиса", write(X,Y), nl, fail.


  % Список всех детей до Дианы включительно - Метод отсечения и отката (ОО)
  all_childs_before_Diana :- child(X,Y), write(X,Y), nl, X="Диана", !.

  % Первый ребенок с именем Алиса - Метод отсечения и отката (ОО)
  first_child_Alisa :- child(X,Y), X="Алиса", write(X,Y), nl, !.

goal
  %write("Список всех детей:"), nl, all_childs.
  %write("Список детей с именем Алиса:"), nl, all_childs_Alisa.
  %write("Список всех детей до Дианы включительно:"), nl, all_childs_before_Diana.
  write("Первый ребенок с именем Алиса:"), nl, first_child_Alisa.