Prolog查询结果去重求助：精简translimitrofes查询输出

问题分析 #

你的translimitrofes/2查询返回了重复的反向国家对（如argentina-uruguay和uruguay-argentina），原因是limitrofes/2被定义为对称关系（包含limita_con(X,Y)和limita_con(Y,X)），导致遍历过程中生成双向重复结果。

解决方案 #

根据你的期望结果（每个无序国家对仅出现一次），提供以下几种调整方案：

方案1：添加原子顺序约束（推荐） #

修改translimitrofes/2，增加X @< Y约束，确保每个无序对仅返回X原子名称字典序小于Y的结果：

limitrofes(X,Y):- 
    limita_con(X,Y)
    ; limita_con(Y,X).

translimitrofes(X,Y) :-
    limitrofes(X,Z),
    limitrofes(Z,Y),
    dif(X,Y),
    X @< Y.

如果需要保留uruguay-argentina这类字典序反向的对，可将X @< Y替换为X @> Y。

方案2：直接基于原始单向关系定义 #

如果你仅想返回limita_con/2中定义的正向对，可跳过对称的limitrofes/2，直接使用原始事实：

translimitrofes(X,Y) :-
    limita_con(X,Z),
    limita_con(Z,Y),
    dif(X,Y).

注意：此方案仅当存在传递相邻路径时才会返回结果（如A→B→C），若你实际需要的是直接相邻对，可简化为：

translimitrofes(X,Y) :-
    limita_con(X,Y).

方案3：查询时去重 #

若不想修改代码，可使用setof/3在查询阶段收集唯一无序对：

?- setof(X-Y, (X @< Y, translimitrofes(X,Y)), UniquePairs).

该查询会返回所有去重后的结果，存储在UniquePairs中。

原代码问题根源 #

limitrofes/2的对称定义使得每个原始相邻对会被处理为双向关系，translimitrofes/2遍历过程中会生成A→B和B→A两种重复结果，添加顺序约束或基于原始事实定义可避免此问题。

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