Question

编写一个谓词，显示列表1是否以与列表2相同的元素结尾。

类似

sinc()是真的，而

endsWith([a,b,c,d,e], [c,d,e])是假的

Answer 1

只需几行代码就可以解决问题：

last([E],E):- !.
last([_|T],E):-
    last(T,E).

endsWith(L1,L2):-
    last(L1,E),
    last(L2,E).

?- endsWith([a,b,c,d,e], [c,d,e]).
true

?- endsWith([a,b,c,d,e], [c,e,d]).
false

首先，您找到第一个列表的最后一个元素，然后检查它是否等于第二个列表的最后一个元素。如果您想检查第一个列表是否以第二个列表结尾，您可以这样使用reverse/2：

compareLists(_,[]):- !.
compareLists([H|T],[H|T1]):-
    compareLists(T,T1).

endsWithAllElements(L1,L2):-
    reverse(L1,L1R),
    reverse(L2,L2R),
    compareLists(L1R,L2R).

?- endsWithAllElements([a,b,c,d,e], [c,e,d]).
false

?- endsWithAllElements([a,b,c,d,e], [c,d,e]).
true

希望它有所帮助。

Answer 2

如果您想确保两个列表以至少一个元素的公共子列表结尾：

same_end(L1, L2) :- append(_, [X|Xs], L1), append(_, [X|Xs], L2).

如果你真的说你希望第一个列表在第二个列表中结束：

same_end(L1, L2) :- append(_, L2, L1).

Prolog比较清单

2 个答案: