如何实现SWI-Prolog中的多列表并集谓词union/2？

我们需要实现union(+ListOfLists, -ResultList)谓词，使其接收一个由多个列表组成的输入列表ListOfLists = [A1, A2, ..., An]，返回所有子列表的集合并集ResultList = A1 ∪ A2 ∪ ... ∪ An——结果列表中无重复元素，且保留元素首次出现的顺序。

基于内置谓词的实现 #

SWI-Prolog内置了union/3谓词，用于计算两个列表的并集。我们可以基于它递归扩展到多列表场景：

% 终止条件：空列表的并集是空列表
union([], []).
% 递归处理：拆分第一个子列表和剩余列表，逐步合并
union([CurrentList|RemainingLists], FinalResult) :-
    union(RemainingLists, TempUnion),
    % 用内置union/3合并当前列表与剩余列表的并集
    union(CurrentList, TempUnion, FinalResult).

测试示例 #

?- union([[1,2,3], [2,3,4], [5]], R).
R = [1,2,3,4,5].

?- union([[], [a,b], [b,c]], R).
R = [a,b,c].

?- union([[x], [x], [x]], R).
R = [x].

自定义并集逻辑的实现 #

如果不想依赖内置union/3，可以自己实现两个列表的并集逻辑，再套用到多列表递归中：

% 自定义两个列表的并集：my_union(+List1, +List2, -Union)
my_union([], List, List).
my_union([Head|Tail], List, Union) :-
    % 如果Head已在List中，跳过该元素
    member(Head, List),
    !,
    my_union(Tail, List, Union).
my_union([Head|Tail], List, [Head|Union]) :-
    % 如果Head不在List中，将其加入结果
    my_union(Tail, List, Union).

% 多列表并集实现
union([], []).
union([CurrentList|RemainingLists], FinalResult) :-
    union(RemainingLists, TempUnion),
    my_union(CurrentList, TempUnion, FinalResult).

这个自定义实现的逻辑和内置版本一致：遍历第一个列表的元素，仅保留不在第二个列表中的元素，最终合并为无重复的并集。

内容的提问来源于stack exchange，提问作者Martin Kunze