Prolog中查询指定顶点全部连接节点的findall异常问题

你运行后得到[b,b,b,b]的错误结果，是两处明确的代码逻辑错误导致的，和图结构、findall本身的能力无关：

• 变量绑定错位：原all_connections定义中，findall(A, are_connected(A, _, _), Z)使用了和函数入参同名的变量A，会触发Prolog的全局变量绑定规则——当你传入b作为查询顶点时，实际执行的查询逻辑变成了固定匹配are_connected(b, _, _)，刚好能匹配到4条以b为端点的边记录。
• 聚合对象写错：findall的第一个参数是需要收集输出的目标值，原代码写的是收集当前绑定的固定值b，没有把边关系里的邻接节点（也就是are_connected的第二个参数）作为收集对象，因此每匹配一条边就收集一次b，最终得到4个重复的b组成的列表。

要完成“输入任意顶点，查询所有相连节点列表”的需求，需要把查询顶点作为固定查询锚点传入边判断谓词，单独把邻接节点作为聚合收集对象，同时对结果去重，避免双向边逻辑带来的重复节点：

all_connections(Vertex, NeighborList) :-
    % 以传入的Vertex为固定锚点，查询所有连通的邻接节点
    findall(Neighbor, are_connected(Vertex, Neighbor, _), TempRawList),
    % 对原始结果去重排序，得到无重复的邻接节点列表
    sort(TempRawList, NeighborList).

修正后运行查询all_connections(b, X)，将得到[a,d,h,s]的正确结果，和拓扑图上b节点的所有邻接连接完全匹配。

编写Prolog聚合查询时注意：findall内部的同名变量会和外部作用域形成全局绑定，一定要把查询锚点和收集目标用独立的变量名区分开，避免语义错位。

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