获取列表的头部和尾部

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]).