Получить суффикс списка - Prolog

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

Задача - найти хвост списка указанной длины.

%если исходный список пустой, то вернуть пустой список
    suf([],[],_).
%ошибка The variable is not bound in this clause _ , хотя вместо _ в этом случае всегда конкретное число
%ошибка Basic domain becomes reference domain: integer
 
%если полностью нашли суффикс, то вернуть пустой список
    suf(L,[],0).
%ошибка The variable is not bound in this clause L, хотя список известен
 
%если список не пустой и счётчик не 0, продолжаем с укороченными списками
    suf(L,L1,X):- suf(L2,L3,Y), X=Y+1, conc(L2,[A],L), conc(L3,[A],L1).

Почему ошибки? Если что, conc - сцепление списков.

    conc([],B1,B1):- !.
    conc([X1|L11], L21, [X1|L31]):- conc(L11, L21, L31).

Решение задачи: «Получить суффикс списка»

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

domains 
int=integer
intl=int*
 
predicates
len(intl,int)
cut(intl,int,intl)
suff(intl,int,intl)
 
clauses
len([],0).
len([_|T],N) :- len(T,N1), N=N1+1.
 
cut(X,0,X).
cut([_|X],N,Y) :- N1=N-1,cut(X,N1,Y).
 
suff(X,L,Y) :- len(X,LL), N=LL-L, cut(X,N,Y).

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

В коде определены следующие домены: int = integer (целое число), intl = int* (список целых чисел).
Также в коде определены следующие предикаты: len(intl,int) (функция, принимающая список целых чисел и возвращающая количество элементов в этом списке), cut(intl,int,intl) (функция, принимающая список целых чисел, индекс первого элемента и количество элементов, которые нужно отрезать от начала списка, и возвращающая новый список), suff(intl,int,intl) (функция, принимающая список целых чисел, индекс последнего элемента и количество элементов, которые нужно отрезать от конца списка, и возвращающая новый список).
В коде присутствуют следующие утверждения (клаузы): len([],0) (если пустой список, то его длина равна 0), len([|T],N) :- len(T,N1), N=N1+1 (если список состоит не только из пустого списка, то его длина равна сумме длины первого элемента и длины оставшейся части списка минус один), cut(X,0,X) (если первый элемент списка равен нулю, то этот элемент и все последующие элементы списка до конца списка исключаются из списка), cut([|X],N,Y) :- N1=N-1,cut(X,N1,Y) (если первый элемент списка не равен нулю, то его значение и все последующие элементы списка до конца списка исключаются из списка, а в новом списке первым элементом будет являться элемент с индексом N-1), suff(X,L,Y) :- len(X,LL), N=LL-L, cut(X,N,Y) (если длина списка равна L, то можно получить список, состоящий из всех элементов исходного списка, начиная с элемента с индексом N и имеющий длину LL-L).