Prolog路径查询结果列表末尾出现未绑定变量如何消除？

嘿，我来帮你搞定这个Prolog路径查询的问题！你遇到的X = [a, b, c, d|_978]这种带未绑定尾的结果，还有单例变量警告，都是因为基础规则的逻辑写得有点问题。

问题根源 #

先看你原来的基础规则：

path(D,D,[D|L]).

这里的L是一个只出现一次的变量（单例变量），而且它没有被绑定到任何值，所以Prolog会认为你可能写错了——毕竟这个变量没被用到，同时它也导致路径的末尾留了一个“开放”的未绑定尾，也就是那个_978（Prolog自动生成的匿名变量名）。这显然不是我们想要的“完整路径”，完整路径应该在到达终点后就结束，而不是拖着一个不确定的尾巴。

修正方案 #

把基础规则改成当起点和终点相同时，路径就是只包含这个节点的列表，这样就不会有多余的未绑定变量了：

% 定义边
edge(a,b). edge(b,c). edge(c,d). edge(a,e). edge(e,c).

% 基础情况：起点=终点，路径就是单个节点的列表
path(D,D,[D]).
% 递归情况：从S走到相邻节点X，再从X走到D，把S加到路径开头
path(S,D,[S|L]) :- edge(S,X), path(X,D,L).

测试效果 #

现在执行查询path(a,d,X)，你会得到第一个正确结果：

X = [a, b, c, d]

按分号;还能调出第二条路径：

X = [a, e, c, d]

既没有未绑定的尾巴，也不会再出现单例变量警告了！

额外说明 #

这个修正后的规则逻辑更贴合“两节点间完整路径”的需求：基础情况明确了到达终点时路径就终止，递归情况则一步步把经过的节点加到路径里，最终得到的是闭合的完整列表。

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