list - Prolog:检查某项是否是列表中的最后一项？

Question

我是序言新手，基本上是在尝试编写一个子句，如果给定的项目是给定列表中的最后一项，则该子句的评估结果为 true。这是我所拥有的:

last(X,[Y|X]).
last(X,[Y|Z]) :- last(X,Z).

我认为这可以解决问题，但是当我询问序言时:

?- last(c,[a,b,c]).

Prolog 返回 false。我尝试了以下查询，看看 Prolog 认为什么应该符合我对最后的定义:

?- last(c,X).
X = [_G530|c] ;
X = [_G530, _G533|c] ;
X = [_G530, _G533, _G536|c]

所以，我不确定的是为什么“|”符号仍在列表中吗？

更新:last([c],[a,b,c]) 产生所需的行为。但是，我不确定为什么我的第一个参数必须是一个列表？

Answer 1

你可能想要这个:

 last(X,[X]).
 last(X,[_|Z]) :- last(X,Z).

| 表示“尾部”或“列表的其余部分”。

使用 ?- last(c,X). Prolog 生成以 c 作为最后一项的列表(根据您的第一个定义)。

当您查询 ?- last(c,[a,b,c]). 时，它会返回 false，因为您尚未为仅包含一项的列表定义案例 [X] 或 [X|[]]。因此，当列表少于两个项目时，它会失败。

但是， last([c],[a,b,c]) 成功，因为您得到 [b|_29] 或任何表示尾部可能的内容可以是任何列表。所以'_29'可以是'[c]'，满足第一个定义，如last([c],[b|[c]])。记住Prolog中的非空列表实际上是一个第一个列表项(头)和其余列表项(尾)的对。通常写为[头|尾]。