定义Prolog中brother/2对称与传递关系时遭遇栈溢出问题

你定义的brother/2规则存在无限递归死循环：

• 对称规则brother(X,Y) :- brother(Y,X)没有终止条件，Prolog会不断在brother(X,Y)和brother(Y,X)之间来回调用；
• 传递规则结合对称规则后，会进一步触发无意义的循环调用，最终耗尽栈空间导致溢出。

核心是把原始兄弟关系事实和推导规则分离，用一个基础谓词存储原始数据，再基于它实现对称性和传递性，避免无终止的递归。

实现代码 #

% 存储原始的兄弟关系事实
basic_brother(tom, jerry).
basic_brother(jerry, jeff).

% 1. 匹配原始事实
brother(X, Y) :- basic_brother(X, Y).
% 2. 实现对称性：从原始事实推导反向关系
brother(X, Y) :- basic_brother(Y, X).
% 3. 实现传递性：通过中间节点推导，加入X≠Y避免自环
brother(X, Y) :- brother(X, Z), brother(Z, Y), X \= Y.

测试验证 #

执行查询?- brother(tom, jeff).，会正确返回true，且不会出现栈溢出问题。

更严谨的写法（可选） #

如果想更清晰地拆分对称和传递逻辑，可以分两步处理：

% 原始事实
basic_brother(tom, jerry).
basic_brother(jerry, jeff).

% 先扩展对称关系
sym_brother(X, Y) :- basic_brother(X, Y).
sym_brother(X, Y) :- basic_brother(Y, X).

% 再构建传递闭包
brother(X, Y) :- sym_brother(X, Y).
brother(X, Y) :- sym_brother(X, Z), brother(Z, Y), X \= Y.

通过basic_brother/2锚定原始事实，所有推导规则都基于这个有限的事实集展开，不会出现无终止的递归调用。对称规则仅从原始事实推导反向关系，传递规则的递归也会因为事实集的有限性最终终止。

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