Question

我知道我是否这样做：

[H|T] = [a,b,c,d].
H = a,
T = [b,c,d].

我想要做的是在规则中获取列表的头部和尾部。这可能吗？我为递归调用设置基本情况但是现在我感到满意的是它只是将L3作为第一个列表头和第二个列表头的附加返回。我只是不确定如何获得头部和清单。

compose([], L1, L1).
compose(L2, [], L2).
compose([], [], []).
compose(L1, L2, L3) :-
        [H1|T1] = L1,
        [H2|T2] = L2,   
        append(H1, H2, L3).

我也根据我在网上看到的内容尝试了以下内容：

compose([], L1, L1).
compose(L2, [], L2).
compose([], [], []).
compose([H1|T1], [H2|T2], L3) :-
        append(H1, H2, L3).

但是对此谓词的调用失败了。在一个成功的案例中，我希望它能够执行以下操作：

compose([a,b,c], [d,e,f], L).
L = [a, d].

至少现在。

Answer 1

compose([X|_],[Y|_], [X,Y]).

不仅如此。也许你想为空列表添加案例：

compose([], [], []).
compose([X|_], [], [X]).
compose([], [X|_], [X]).

获取列表的头部和尾部

1 个答案: