在 Prolog 中使用列表列表

请帮我解决这个问题： 我有一个清单清单

[[1,2],[3,4]]

如何得到：

[1,3]

[1,4]

[2,3]

[2,4]

或者如果我有一个列表列表

[[1,2],[3,4],[6,7]]

如何得到：

[1,3,6]

[1,3,7]

[1,4,6]

[1,4,7]

[2,3,6]

[2,3,7]

[2,4,6]

[2,4,7]

访问单个列表元素的谓词是最基本的 Prolog 构建块：member/2.

你想要一份清单所有列表'要素：maplist/3做这样的映射。因此我们可以写

combine(Ls, Rs) :-
    maplist(get1, Ls, Rs).
get1(L, E) :-
    member(E, L).

注意get1/2只是需要这样我们交换member/2论据。但是因为在（纯）Prolog 中我们描述的是之间的关系参数，我们可以交换参数的顺序并进一步简化：

combine(Ls, Rs) :-
    maplist(member, Rs, Ls).

测试输出：

?- combine( [[1,2],[a,b]], Xs).
Xs = [1, a] ;
Xs = [1, b] ;
Xs = [2, a] ;
Xs = [2, b].

%% this is the same as:
       %% maplist( member, Xs, [[1,2],[a,b]]) :-
       %%          member( X1,  [1,2]      ),
       %%          member( X2,        [a,b]),  Xs = [X1,X2].

edit

一个笑话：真的，我的第一个combine/2应该写成这样

combine(Ls, Rs) :-
    maplist(rebmem, Ls, Rs).
rebmem(L, E) :-
    member(E, L).