Разделение исходного списка на список отрицательных и положительных чисел - Prolog

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

Задание: Создайте предикат, который разделит исходный список из целых чисел на два списка: список положительных чисел и список отрицательных чисел.(Swi-Prolog) Сначала я создал предикат, который будет записывать мои списки чисел.

append([],  L , L):-!.
append([H|T],  P,  [H|Y]):-append(T, P, Y).

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

nez([X|W],[],[]):- [X|W] = [],!.
nez([X|W],H,PP):- X<0,append([X],H,PP),PP1 = PP,nez(W,PP1,PP).

Но все равно ничего не получается, при первом вхождении в рекурсию у меня выдает false, и программа дальше не работает.

?- nez([-1,-2,-3],[],X).

Вот такой вот запрос использовал... Ломаю голову второй день, спасите, люди добрые

Решение задачи: «Разделение исходного списка на список отрицательных и положительных чисел»

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

nez([H|T], [H|T1], T2) :-
    H < 0,
    !,
    nez(T, T1, T2).
nez([H|T], T1, [H|T2]) :-
    nez(T, T1, T2).

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

В данном коде используется процедура nez для разделения исходного списка на список отрицательных и положительных чисел.
При первом вызове процедуры nez передаются три аргумента: [H|T], [H|T1] и T2. Здесь H - это первый элемент списка, T - это остаток списка, T1 - это список положительных чисел, а T2 - это список отрицательных чисел.
Условие H < 0 проверяет, является ли первый элемент списка отрицательным числом.
Если условие истинно, то происходит рекурсивный вызов процедуры nez с аргументами T, T1 и T2. Это позволяет обработать все элементы списка.
Если условие ложно, то происходит рекурсивный вызов процедуры nez с аргументами T1 и T2. Это позволяет продолжить обработку списка положительных чисел.
В результате работы процедуры nez список отрицательных чисел будет содержаться в T2, а список положительных чисел будет содержаться в T1.