list - PROLOG - 展平段列表

Question

我想像这样展平一个列表:

[[a,b],[b,c],[c,d],.. ] -> [a,b,c..]

简而言之，我想取每个段 [a,b] 的头部并放在一个展平的列表中。

我有当前代码:

%unsplits a list from segments
%e.g [[a,b],[b,c]] becomes [a,b,c].
unSplitList([],_).
unSplitList([[H,_]|T], L) :- append([H], L1, L), unSplitList(T, L1).

但它给了我以下输出:

?- unSplitList([[a,b],[b,c],[c,d]],L).
L = [a, b, c|_1046].

我将如何继续去除尾部 (_1046)？提前致谢:)。

Answer 1

这里的问题是下划线:

unSplitList([],_).

这意味着您在“fly”上构建的列表不会以 [] 结尾，因此保持开放式结尾。

您可以通过以下方式解决此问题:

unSplitList([], <b>[]</b>).

话虽这么说，上面的代码在优雅和效率方面还是可以提高一点的。这里我们可以将append([H], L1, L)替换为L = [H|L1]，所以

unSplitList([],[]).
unSplitList([[H,_]|T], [H|L1]) :-
    unSplitList(T, L1).

我们还可以通过写成 maplist/3 [swi-doc] 来改进上面的内容:

head([H|_], H).

unSplitList(L, Hs) :-
    maplist(head, L, Hs).

请注意，以上内容不适用于包含空子列表(或其他对象，如数字)的列表。