prolog - Prolog从列表的第i个元素创建集合列表

Question

我有列表结构

L=[[a,b,c,d],[a,f,c,h]]

L 的长度可以大于 2。我想合并列表的元素，以便 L 或 NewL 成为

L=[a,[b,f],c,[d-h]]

Answer 1

这可能是你想要的：

unite([[],[]], []).
unite([[X|Ls], [X|Rs]], [X|Rest]) :- unite([Ls, Rs], Rest).
unite([[L|Ls], [R|Rs]], [[L,R]|Rest]) :- L \= R, unite([Ls, Rs], Rest).

但是，我同意@false，因为这是一个奇怪的 API，并且有很多未处理的边缘情况。

Answer 2

您需要的是聚合模式。我想我明白了：

unite(Ls, [E|Es]) :-
    aggreg(Ls, E, Ns),
    unite(Ns, Es).
unite(_, []).

aggreg(L, E, LLs) :-
    maplist(first, L, Fs, LLs),
    setof(X, member(X, Fs), S),
    ( [E] = S -> true ; E = S ).

first([E|Es], E, Es).

产量

?- L=[[a,b,c,d],[a,f,c,h],[a,f,c,g]],unite(L,U).
L = [[a, b, c, d], [a, f, c, h], [a, f, c, g]],
U = [a, [b, f], c, [d, g, h]] ;
L = [[a, b, c, d], [a, f, c, h], [a, f, c, g]],
U = [a, [b, f], c] .

我认为第一个解决方案之后的削减会很好（使用一次/1）。

请注意，它的架构相当通用：只需在 setof/3 中替换一些比统一更适用的任务（如果有的话）（例如，您可以调用您的数据库）。