SWI-Prolog规则

Question

我的规则是将第一个参数与列表中的第三个元素统一起来。该列表是规则中的第二个参数。如果没有第三个元素，这应该会失败。

在经历了许多例子和困惑之后，我创建了这个规则。

third(X,[_|T]):-
    [_,Y] = T,!,fail,
    (Y,X).

所以我的理解，我认为是不正确的，它将Y设置为列表T的第三个元素，因为T是初始列表的尾部。然后它会把Y和X统一起来。

我仍然对“统一”这些元素的代码感到困惑

Answer 1

cut !之后的fail确保您的过程永远不会成功，因为您正在使用cut提交选择，然后失败。

只有当列表恰好有三个元素时，才能以尝试的方式访问列表的第三个元素:跳过过程头部的第一个元素，然后从尾部获取第二个元素。

third(X,[_|T]):-
    [_,X] = T.

请注意，如果列表没有恰好包含三个元素，则此过程将失败。

但是，直接访问过程头部的第三个元素会更直接，例如：

third(X, [_, _, X|_]).

这将把X与第二个参数中列表的第三个元素统一起来。|_部件允许列表有更多的元素(它用一个匿名变量统一了尾部)。