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

%если исходный список пустой, то вернуть пустой список
    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([],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).