Списки. Составить пары одушевленных и неодушевленных предметов. - Prolog

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

Здравствуйте. Вводишь список предметов, одушевлённых и неодушевлённых, нужно что бы составились всевозможные пары одушевлённого предмета и неодушевлённого. Нашел пример разбиение списка на 3 подсписка, его как то можно переделать? Есть список: [a, 1, !, b, 2, @, c, 3, #, d, 4, $, ....] Нужно получить 3 списка: [a, b, c, d, ...], [1, 2, 3, 4, ...], [!, @, #, $, ...] Swi prolog:

p([],[],[],[]).
p([H|Tail],[H|A],B,C):-char_type(H,alpha),!,p(Tail,A,B,C).
p([H|Tail],A,[H|B],C):-number(H),!,p(Tail,A,B,C).
p([H|Tail],A,B,[H|C]):-p(Tail,A,B,C).

?- p([a, 1, !, b, 2, @, c, 3, #, d, 4, $],A,B,C).
A = [a, b, c, d],
B = [1, 2, 3, 4],
C = [!, @, #, $].

Нашел еще на форуме ооочень похожую программу ))) только вот в ней идёт просто разбиение всего списка, а у меня получается нужно попарно разделять. Код Prolog

append_([],B,B).
append_([H|Tail],B,[H|NewTail]):-append_(Tail,B,NewTail).
 
length_([],0).
length_([_|Tail],N):-length_(Tail,N1), N is N1+1.
 
razbienie(L,A,B):-append_(A,B,L),length_(A,N),length_(B,N).
razbienie(L,A,[H|B]):-append_(A,[H|B],L),length_(A,N),length_(B,N).
?- razbienie([Юля,Коля,Аня,Антон,Инна],А,Б). 
 
А = [Юля, Коля],
Б = [Аня, Антон, Инна] .

Решение задачи: «Списки. Составить пары одушевленных и неодушевленных предметов.»

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

p(List,A,B):-member(A,List), animate(A),member(B,List),inanimate(B).

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

Входные данные: список List, переменные A и B.
Проверяется, есть ли элемент A в списке List (предполагается, что A уникален).
Проверяется, является ли A одушевленным (предполагается, что одушевленные предметы уникальны).
Проверяется, есть ли элемент B в списке List.
Проверяется, является ли B неодушевленным (предполагается, что неодушевленные предметы уникальны).
Если выполняются условия 2 и 5, то создается пара одушевленного и неодушевленного предметов.