common_suffix/4 Prolog

Question

我想用prolog编写一个谓词来查找两个列表的公共后缀，并返回公共后缀开始的位置，从列表的末尾开始计数。此外，在给定公共后缀的情况下，单击“更多”应返回长度较小的公共后缀，如以下示例中所述。本练习中唯一可用的嵌入式函数应该是length、member，当然还有append。

1) ?- common_suffix([1, b, c], [a, b, c], Suffix, Pos).
Suffix = [b, c]
Pos = 2
Yes
Suffix = [c]
Pos = 1
Yes
Suffix = []
Pos = 0
Yes

2) ?- common_suffix([a, b, c], [a, b, c], Suffix, Pos).
Suffix = [a, b, c]
Pos = 3
Yes
Suffix = [b, c]
Pos = 2
Yes
Suffix = [c]
Pos = 1
Yes
Suffix = []
Pos = 0
Yes

3) ?- common_suffix([1, b, 3], [a, b, c], Suffix, Pos).
Suffix = []
Pos = 0
Yes 

Answer 1

common_suffix(L1，L2，Suffix，Pos):- append(，Suffix，L1)，append(，Suffix，L2)，length(Suffix，Pos)。

看，我试过了，它似乎起作用了。