Prolog查询loves(sita,X)无法终止，请求错误排查

核心问题：married规则的无限递归 #

你的代码中married(X, Y) :- married(Y, X).这条规则会导致无限递归，这是查询无法终止的根本原因。

当Prolog尝试匹配married(X,Y)时，如果没有找到对应的基础事实，就会触发这条规则调用married(Y,X)；而married(Y,X)又会反过来调用married(X,Y)，形成无限循环的回溯路径，永远无法终止。

当你查询loves(sita, X)时，Prolog会尝试所有loves的规则：

• 前两条child相关的规则能正确返回X=samita和X=rahul，但之后Prolog会继续尝试第三条loves(X,Y) :- married(X,Y).规则，进而触发married的无限递归，导致程序永远停不下来。

次要错误：变量大小写问题 #

female(X) :- \+ man(x).中的x是小写原子，不是变量，这条规则实际只会检查是否不存在man(x)（小写x作为一个具体的人），而不是变量X对应的人。需要修正为female(X) :- \+ man(X).。

修正后的代码 #

man(rahul).
person(X) :- man(X).
male(X) :- man(X).
female(X) :- \+ man(X). % 修正变量大小写
female(samita).
% 用spouse作为基础事实，避免married递归循环
spouse(samita, rahul).
married(X, Y) :- spouse(X, Y).
married(X, Y) :- spouse(Y, X).
child(sita, samita, rahul).
loves(X, Y) :- married(X, Y).
loves(X, Y) :- child(X, Y, Z).
loves(X, Z) :- child(X, Y, Z).

验证查询 #

执行loves(sita, X).会得到预期结果：

X = samita ;
X = rahul.

且查询会正常终止，因为married规则现在基于spouse的基础事实，没有递归循环，Prolog遍历完所有可能的路径后会停止。

内容的提问来源于stack exchange，提问作者ashwani kumar dwivedi