Сгенерировать все сочетания из N элементов по K - Prolog

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

Имеется код, который генерирует все сочетания из N элементов:

                    Листинг программы
                
comb([], []).
comb([X|List], [X|Tail]) :- comb(List, Tail).
comb([_|List], Tail) :- comb(List, Tail).

Подскажите, что нужно исправить, чтобы сочетания были нужной длины. Например, пользователь задает:

                    Листинг программы
                
comb(3, [a,b,c,d,e,f], X)

А получает на выходе:

                    Листинг программы
                
X = [a,b,c]; [a,b,d]; [a,b,e]; [a,b,f]; [b,c,d] ...

Заранее спасибо.

Решение задачи: «Сгенерировать все сочетания из N элементов по K»

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

member(X, [X|_]).
member(X, [_|L]) :- member(X, L).
 
comb([], []).
    %% Вариант 1 : 1-й элемент сочетания содержится в исходном списке
comb([X|List], [X|Tail]) :- comb(List, Tail).
    %% Вариант 2 : сочетание является правильным сочетанием хвоста списка,
    %%     то есть 1-й элемент исходного списка не содержится в сочетании
comb([_|List], Tail) :- comb(List, Tail).

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

В коде реализован алгоритм генерации всех сочетаний из N элементов по K, с использованием рекурсии.

member(X, [X|_]). - это базовый случай, когда текущий элемент списка X равен последнему элементу, то есть X является последним элементом списка.
member(X, [_|L]) :- member(X, L). - это базовый случай, когда текущий элемент списка X не является последним элементом списка, то есть X является предпоследним элементом списка.
comb([], []) - это базовый случай, когда список пуст, то есть нет ни одного элемента для генерации сочетаний.
comb([X|List], [X|Tail]) :- comb(List, Tail). - это рекурсивный случай, когда текущий элемент списка X совпадает с первым элементом сочетания, то есть он повторяется в сочетании.
comb([_|List], Tail) :- comb(List, Tail). - это рекурсивный случай, когда текущий элемент списка X не совпадает с первым элементом сочетания, то есть он не повторяется в сочетании. Таким образом, код генерирует все возможные сочетания из N элементов по K, где N - это количество элементов в исходном списке, а K - это количество элементов в каждом сочетании.