Быстрая сортировка сложных списков - Prolog

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

Помогите, пожалуйста, решить задачу сортировки сложных списков, элементы которого списки, структуры или даже структуры списков. Нашел такую тему Сортировка списка списков, но это решение корректное только для списков одинаковой мощности. Фактически вопрос стоит в разработке предиката, сравнивающего списки или структуры и использование его вместо оператора сравнения "<" в предикате быстрой сортировки, который приведён в теме Решенные задачи про списки, строки, файлы, БД

% Сравнение двух простых списков
 
list_compare(L1,L2) :- card(L1,C1), card(L2,C2), C1 =< C2, comp(L1,L2,C1,C2).
list_compare_1([],[_|_]).
list_compare_1([H1|T1],[H2|T2]) :- H1 < H2, !.
list_compare_1([H|T1],[H|T2]) :- list_compare_1(T1,T2).
 
card([],0) :- !.
card([H|T],N) :- card(T,N1), N is N1 + 1.
 
comp(L1,L2,C1,C2) :- C1 < C2, !.
comp(L1,L2,C,C) :- list_compare_1(L1,L2).

% Сравнение структур
struct_compare(S1,S2) :- not(compound(S1)), compound(S2), !.
struct_compare(S1,S2) :- not(compound(S1)), not(compound(S2)), S1 < S2, !.
struct_compare(S1,S2) :- S1=..[_|[H|[L1]]], S2=..[_|[H|[L2]]], struct_compare(L1,L2), !.
struct_compare(S1,S2) :- S1=..[_|[H1|[L1]]], S2=..[_|[H2|[L2]]], H1 < H2, !.

Вопрос в следующем: как используя эти два предиката сравнить два функтора сложной структуры типа (a, [(a,b,c)], [a])? Например, (1,[(1,2,3),(1,2,4)],[1]) больше чем (1,[(1,2,3),(1,3,4)],[1]). Т.е. я так понимаю, это задача обхода в глубину с определением типа, но как к ней подступиться - не понятно. Хотя бы как определить, что эта переменная сопоставлена со списком или структурой и как выбрать соответствующий предикат для сравнения?

Решение задачи: «Быстрая сортировка сложных списков»

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

?- sort([[1,2,3],[2,1]],Sorted).
Sorted = [[1, 2, 3], [2, 1]]
?- sort([[3,2,1],[2,1]],Sorted).
Sorted = [[2, 1], [3, 2, 1]]

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

sort([[1,2,3],[2,1]],Sorted) - эта строка кода вызывает процедуру сортировки для двух списков.
Sorted = [[1, 2, 3], [2, 1]] - это результат работы процедуры сортировки, который присваивается переменной Sorted.
[[1,2,3],[2,1]] - это список из двух подсписков, которые нужно отсортировать.
[2, 1] - это первый отсортированный подсписк, который становится первым элементом результирующего списка.
[1, 2, 3] - это второй отсортированный подсписк, который становится вторым элементом результирующего списка.
?- sort([[3,2,1],[2,1]],Sorted) - это следующая строка кода, которая вызывает процедуру сортировки для двух других списков.
Sorted = [[2, 1], [3, 2, 1]] - это результат работы процедуры сортировки, который присваивается переменной Sorted.
[[3,2,1],[2,1]] - это список из двух подсписков, которые нужно отсортировать.
[2, 1] - это первый отсортированный подсписк, который становится первым элементом результирующего списка.
[3, 2, 1] - это второй отсортированный подсписок, который становится вторым элементом результирующего списка.