将prolog中列表的第一项与另一个列表的最后一项进行比较

Question

我试图比较两个不同的列表，但当列表的第一项和最后一项相等时，比较必须成功，反之亦然，而列表的其他项必须相等。

所以事情一定是

cmp([a,b,c,d,e],[e,b,c,d,a]).
true.

使用以下代码，我们成功了，但只使用了列表的前两项：

swap([X,Y],[Y,X]).
swap([X,Y|T],[Y,X|Z]):- T=Z.

有什么想法吗？

Answer 1

我喜欢@gusbro提出的append/3方法（+1）。另一种方法是使用一个辅助谓词来携带您想要的元素。这是对交换列表的第一个元素和最后一个元素问题的一个小变化。

cmp([A|As], [B|Bs]) :-
    cmp(As, A, B, Bs).
cmp([A], B, A, [B]).
cmp([_, A|As], X, Y, [_, B|Bs]) :-
    cmp([A|As], X, Y, [B|Bs]).
| ?- cmp([a,b,c,d,e],[e,b,c,d,a]).
true ? a
no
| ?- cmp(A, B).
A = [C,D]
B = [D,C] ? ;
A = [C,_,D]
B = [D,_,C] ? ;
A = [C,_,_,D]
B = [D,_,_,C] ? ;
A = [C,_,_,_,D]
B = [D,_,_,_,C] ? ;
...

Answer 2

我会使用append/3来获得第一个和最后一个项目，并在交换这些项目时再次使用它：

cmp(A, B):-
  append([First|Tail], [Last], A),
  append([Last|Tail], [First], B).