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

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),!.