Prolog列表链判断规则返回意外结果问题求助

问题根因 #

• 单元素列表规则冲突：chain([X]):-false. 和 chain([_|[]]):-!. 匹配完全相同的单元素列表模式。Prolog执行前一条规则返回false后会回溯，触发后一条带截断（!）的规则直接返回true，导致单元素列表判断结果不符合预期。
• 规则逻辑缺失：没有统一的长度前置校验，空列表、单元素列表的判断逻辑和需求不匹配。

修复方案 #

根据需求：链结构要求列表长度≥2，且相邻二元组满足[[a,b], [b,c], [c,d]...]的匹配规则，修复后的代码如下：

% 长度小于2的列表直接判定为不符合
chain(L) :- length(L, Len), Len < 2, !, false.
% 递归终止：只剩最后一个二元组时判定为符合
chain([_]) :- !, true.
% 递归校验相邻二元组的连接关系
chain([[_, X2], [Y1, Y2] | Tail]) :-
    X2 == Y1,
    chain([[Y1, Y2] | Tail]).

测试验证 #

• chain([[5,2],[2,4]]) → true（符合预期）
• chain([[7,2],[4,0]]) → false（符合预期）
• chain([[1,2]]) → false（符合预期）
• chain([[3,3],[3,5],[5,5]]) → true（支持元素值相等场景）

内容的提问来源于stack exchange，提问作者Anton Potapov