Закомментируйте программу, чтобы понять код - Prolog

Формулировка задачи:

                    Листинг программы
                
 
                        
                          
                    
Domains
li=integer*
PREDICATES
cons(integer,li,li).
prime1(integer,integer,li)
prime(integer)
CLAUSES
cons(X,Y,[X|Y])
prime1(X,X,Y) :- cons(X,[],Y).
prime1(X,I,Y) :- 0=x mod i, B=X div I,
prime1(B,2,C),cons(I,C,Y)
prime1(X,I,Y) :- A=I+1,prime1(X,A,Y)
prime1(1,Y) :- Y=[1],!.
prime1(X,Y):- prime1(X,2,Y),!.

Решение задачи: «Закомментируйте программу, чтобы понять код»

Листинг программы

CLAUSES
 
% Присоединение головы к списку
%---------------------------------------------------------------
% ---- то ли код переписывлся с lisp
% ---- то ли автору понятнее запись cons(X,Y,Z) вместо Z = [X|Y]
%---------------------------------------------------------------
cons(X,Y,[X|Y]).
 
% Разложение числа на простые множители (с индексом)
%---------------------------------------------------------------
% Правило 1: выход из рекурсии:
% если перебор дошел до числа, оно и есть свой простой множитель
prime1(X,X,Y) :- cons(X,[],Y).
 
% Правило 2: найден очередной простой множитель:
% если X делится на I, X делим на I,
% продолжаем перебор с новым X, опять начмная с 2
% ---- на самом деле достаточно было продолжить с того же I
% по окончании перебора добавляем I в список
prime1(X,I,Y) :- 0=X mod I, B=X div I,
  prime1(B,2,C),cons(I,C,Y).
  
% Правило 3: приращение I
% если X не делится на I, I увеличивается на 1,
% продолжаем перебор со старым X и новым I
prime1(X,I,Y) :- A=I+1,prime1(X,A,Y).
 
% Разложение числа на простые множители
%---------------------------------------------------------------
% Правило 1: отдельно обрабатывается 1
% ---- я бы вообще выкинул это правило, 1 на прстые множители не раскладывается
prime(1,Y) :- Y=[1],!.
% Правило 2: обращение к предыдущему предикату с индексом 2
prime(X,Y):- prime1(X,2,Y),!.

Объяснение кода листинга программы

В этом коде используется язык программирования Prolog.
Программа разбивает число на простые множители.
Для этого используется рекурсивный алгоритм.
Вначале проверяется, является ли число равным 1. Если это так, то возвращается список, содержащий только 1.
Если число больше 1, то алгоритм начинает искать простые множители.
Простые множители ищются путем перебора чисел от 2 до корня из исходного числа.
Если число делится на текущий множитель без остатка, то этот множитель добавляется в список и алгоритм вызывается рекурсивно для оставшейся части числа.
Если число не делится на текущий множитель без остатка, то множитель увеличивается на 1 и алгоритм вызывается рекурсивно для оставшейся части числа.
Если все числа от 2 до корня из исходного числа были проверены и ни одно из них не является множителем, то исходное число считается простым и возвращается в виде списка, содержащего только это число.
В конце программы выводится результат разложения исходного числа на простые множители.