Я пытаюсь определить предикат, который получает один термин со свободными переменными и возвращает список сопоставлений этих переменных, например, если база данных a(0,1). a(1,1). ожидаемый результат будет ?- eval(a(X,1),Maps). Maps =...

Я попробовал несколько функций для реализации предиката, который находит все комбинации, как в этом примере: List = [[1, 2], [1, 2, 3]] Это должно быть выходом, Comb = [[1,1],[1,2],[1,3],[2,1],[2,2],[2,3]] но все решения, которые я...