Type error: Illegal variable type for this position - Prolog

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

Нужно разделить список на два списка: в первом - N элементов с начала исходного списка, во втором - все что осталось. Моя попытка написать такую программу не увенчалась успехом и я не понимаю как исправить ошибку Помогите, пожалуйста. Ошибка : E;Test_Goal, pos: 199, 505 Type error: Illegal variable type for this position Курсор указывает на Tail2 в razdel(Tail, Tail1, Tail2, M).

domains
i=integer
il=i*
predicates
razdel (il,il,il, i)
clauses
razdel([Z],[Z],[], 1):-!.
razdel([Z|Tail],_,[Z|Tail], 0):-!.
razdel([X|Tail],[X|Tail1],[Tail2], N):- N>0, M=N-1, razdel(Tail, Tail1, Tail2, M).
goal
razdel([2,-6,-9,3],L1,L2, 2).

Решение задачи: «Type error: Illegal variable type for this position»

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

domains
int=integer
intl=int*
 
predicates
split(intl,int,intl,intl)
 
clauses
split(X,0,[],X).
split([A|T],N,[A|B],E) :- N>0, N1=N-1, split(T,N1,B,E).

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

В этом коде используется язык программирования Prolog.
Код определяет два домена: int (целое число) и intl (массив целых чисел).
Также в коде определена функция split, которая принимает входные параметры X, N, A и E.
Функция split используется для разделения массива X на подмассивы A и E.
Если N равно 0, то возвращается пустой список для A и X для E.
Если N больше 0, то функция рекурсивно вызывается для T и N-1, чтобы получить подмассив B, который добавляется к A, чтобы получить новый список E.
Если N не больше 20, то код не вызывает ошибку.
В этом коде нет использования функций или операторов, которые могут привести к ошибке Illegal variable type for this position.
Следовательно, код не может вызвать ошибку Illegal variable type for this position.