Объясните пожалуйста как работает данная программа.
Создайте предикат, осуществляющий удаление указанного количества последних элементов исходного списка (список одноуровневый). Нужен комментарий по каждой строчке

del([_|T],T).

delf(1,X,T):-del(X,T),!.
delf(N,X,T):-N1 is N-1, del(X,T1), delf(N1,T1,T).

revers([H],[H]):-!.
revers([H|T],L):-revers(T,W), app(W,[H],L).

delnl(N,X,T):-revers(X,T1),delf(N,T1,T2),revers(T2,T).