prolog 中列表列表的联合？

Question

如何获得以下（swi-）prolog谓词：

union(+ListOfLists, -ResultList)

形式：

ListOfLists = [A1, A2, A3, ..., An]

ResultList = A1 ∪ A2 ∪ A3 ∪ ... ∪ An 

Answer 1

如果您的“联合”是可交换的并且标识元素是空集，您可以简单地定义：

union(Ls, U, Op, Empty) :-
    foldl(Op, Ls, Empty, U).

你如何代表你的工会？ 如果它是一个列表，那么[]是空集，并且如果您已经定义了一个union/3 （其中最后一个参数是前两个的并集），那么：

union(Ls, U) :-
    foldl(union, Ls, [], U).

但是你的union/3的计算复杂度是多少？