Определить процедуру, которая отбрасывает в списке заданное количество последних элементов - Prolog

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

Определить процедуру, которая отбрасывает в списке заданное количество последних элементов.

Решение задачи: «Определить процедуру, которая отбрасывает в списке заданное количество последних элементов»

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

domains
int=integer
intl=int*
 
predicates
len(intl,int)
subl(intl,int,intl)
task(intl,int,intl)
 
clauses
len([],0).
len([_|T],N) :- len(T,N1), N=N1+1.
 
subl(_,0,[]).
subl([H|T],N,[H|R]) :- N1=N-1, subl(T,N1,R).
 
task(X,N,Y) :- len(X,LX), LX>N, M=LX-N, subl(X,M,Y).
task(X,N,[]) :- len(X,LX), LX<=N.

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

В коде используется язык программирования Prolog.
Код определяет три процедуры:
- len(intl,int) - определяет длину списка intl и возвращает значение в переменной int.
- subl(intl,int,intl) - удаляет из списка intl первые int элементов и возвращает новый список в переменной intl.
- task(intl,int,intl) - реализует задачу: отбрасывает в списке заданное количество последних элементов и возвращает новый список в переменной intl.
В предположении, что входной список X имеет длину LX, процедура task выполняется следующим образом:
- Если LX больше N, то из списка X удаляются последние M элементов (где M=LX-N), и результат сохраняется в переменной Y.
- Если LX меньше или равно N, то в переменной Y остается пустой список [].