В результате работы программы должен получаться список списков - Prolog

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

Добрый день,есть такая програмка:

domains
        i=integer
        l=i*
       ll =l*
predicates
        nondeterm select(l,i,l)
        nondeterm subset(i,i,l)
        gen(i,l)
       add_list ( i, i,ll,ll)
       add(l,ll,ll)
clauses
    gen(0,[]):-!.
    gen(N,[N|Tail]):-Nn=N-1, gen(Nn,Tail).
        select(_,0,[]):-!.
        select([_|T],K,R):-select(T,K,R).
        select([H|T],K,[H|Tr]):-Kn=K-1,select(T,Kn,     
        subset(N,K,R):-gen(N,Li),select(Li,K,R).
    
add(T,List,[T|List]).
        add_list (N,K,T,Rez):-subset(N,K,R),add(R,T,R1),add_list(N,K,R1,Rez).

На выходе метода subset мы рекурсивно получаем элементы,к примеру вот: А мне нужно, чтобы в итоге получались не отдельные элементы, а например [[1,2],[1,3],[3,2]...[n,n]] т.е список этих элементов... Помогите,пожалуйста...

Решение задачи: «В результате работы программы должен получаться список списков»

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

    subsetList(N, K, L) :-
        findall(R, subset(N, K, R), L).

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

subsetList(N, K, L) - это название функции, которая рекурсивно ищет все подмножества чисел от 1 до N, содержащие K элементов и сохраняет их в списке L.
findall(R, subset(N, K, R), L) - это выражение, которое рекурсивно вызывает функцию subset, передавая ей аргументы N, K и R. Функция findall сохраняет все значения R, которые возвращает функция subset, в списке L.
subset(N, K, R) - это рекурсивная функция, которая генерирует все возможные подмножества чисел от 1 до N, содержащие K элементов и сохраняет их в списке R.
R - это переменная, которая используется для хранения текущего подмножества чисел.
N - это переменная, которая содержит общее количество чисел от 1 до N.
K - это переменная, которая содержит количество элементов, которые должны быть включены в подмножество.
L - это переменная, которая используется для хранения всех найденных подмножеств.
Значение N должно быть больше или равно K.
Значение N должно быть больше или равно 1.
Значение K должно быть больше или равно 1.
Значение K должно быть меньше или равно N.
Если N равно K, то результатом будет пустой список.
Если N равно 1 и K равно 1, то результатом будет список, содержащий только число 1.
Если N равно 1 и K больше 1, то результатом будет пустой список.
Если N больше 1 и K равно 1, то результатом будет список, содержащий все числа от 1 до N.
Если N больше 1 и K больше 1, то результатом будет список, содержащий все подмножества чисел от 1 до N, содержащие K элементов.
Если N равно 1 и K равно 0, то результатом будет пустой список.
Если N больше 1 и K равно 0, то результатом будет список, содержащий все числа от 1 до N.
Если N равно 0 и K равно 1, то результатом будет пустой список.
Если N равно 0 и K равно 0, то результатом будет список, содержащий пустой список.