SWI-Prolog：理解无限循环——知识库查询为何陷入死循环？

这问题戳中了Prolog递归的一个关键坑点！咱们一步步捋清楚：

首先先明确你的知识库：

p(a).
p(X) :- p(X).

当你查询p(b)时，Prolog的推理过程是这样的：

1. 它首先尝试匹配唯一的事实p(a)——b和a显然没法合一，这一步失败。
2. 接着Prolog转向第二条规则p(X) :- p(X)。这里的变量X会和查询里的b绑定，所以规则的目标就变成了证明p(b)——这不就是你最开始的查询吗？
3. 现在Prolog又回到了起点：再次尝试匹配p(a)失败，然后又调用规则，又要证明p(b)，无限循环下去。

为啥它不返回false？因为Prolog的回溯机制会穷尽所有可能的证明路径，而这条规则是一个没有任何终止条件的自循环。它找不到任何能让这个目标失败的分支，也没有基础情况来跳出递归，只能一直重复调用自己，直到触发超时限制。

简单说：你的递归规则没有“出口”！正常的Prolog递归应该是像p(X) :- q(X), p(Y)这样，每次递归都会让目标更接近基础情况（比如Y比X更“小”，或者q(X)可能失败），但你的规则完全是原地打转，没有任何进展。

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