Prolog对称borders规则陷无限循环，如何实现正确双向接壤查询？

问题说明 #

仅定义一次国家的单向接壤关系后，想要自动推导反向接壤，但直接编写borders(X, Y) :- borders(Y, X).规则会触发无限循环，导致查询结果重复输出。

原知识库代码：

% 单向接壤事实
borders('Belgium', 'France').
borders('Belgium', 'Germany').
borders('Belgium', 'Luxembourg').
borders('Belgium', 'Netherlands').
borders('Denmark', 'Germany').
borders('France', 'Germany').
borders('France', 'Luxembourg').
borders('Germany', 'Luxembourg').
borders('Germany', 'Netherlands').

% 引发循环的规则
borders(X, Y) :- borders(Y, X).

执行?- borders('France', X).的错误输出：

?- borders('France', X).
X = 'Germany' ;
X = 'Luxembourg' ;
X = 'Belgium' ;
X = 'Germany' ;
X = 'Luxembourg' ;
X = 'Belgium' ;
X = 'Germany' ;
X = 'Luxembourg' ;
X = 'Belgium' ;
X = 'Germany' ;
X = 'Luxembourg' ;
X = 'Belgium' ;
X = 'Germany' . 

预期正确输出：

?- borders('France', X).
X = 'Germany' ;
X = 'Luxembourg' ;
X = 'Belgium'

解决方案 #

核心是分离原始事实与双向推导规则，避免规则递归调用自身导致循环，推荐以下可靠方法：

方法：区分原始事实与对外谓词 #

将原始的单向接壤事实用独立谓词（如borders_direct）存储，对外提供的borders谓词同时覆盖直接事实和反向推导结果：

% 原始单向接壤事实
borders_direct('Belgium', 'France').
borders_direct('Belgium', 'Germany').
borders_direct('Belgium', 'Luxembourg').
borders_direct('Belgium', 'Netherlands').
borders_direct('Denmark', 'Germany').
borders_direct('France', 'Germany').
borders_direct('France', 'Luxembourg').
borders_direct('Germany', 'Luxembourg').
borders_direct('Germany', 'Netherlands').

% 双向接壤规则：要么是直接定义的事实，要么是反向的直接事实
borders(X, Y) :- borders_direct(X, Y).
borders(X, Y) :- borders_direct(Y, X).

修改后查询?- borders('France', X).会先匹配所有直接接壤的国家，再匹配反向推导的接壤国家，不会出现循环，输出结果与预期一致。

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