Prolog existence_error错误排查：similar/0过程不存在问题分析

首先，咱们先拆解这个错误：existence_error(procedure,similar/0)意味着你的代码里有一处调用了不带参数的similar谓词（也就是similar/0），但你只定义了带两个参数的similar/2，Prolog找不到这个无参版本的谓词，所以报错了。

为什么你的查询本该返回true却报错？ #

按照你给出的规则逻辑，similar(a,aaa)确实应该返回true——通过similar(a,aa)和similar(aa,aaa)的传递性就能推导出来。问题大概率出在你输入规则时的语法笔误，比如：

• 某个规则里误写了similar()（无参调用），而不是带两个参数的similar(X,Y)；
• 子目标之间漏写了逗号，导致Prolog错误地把部分代码解析成similar/0的调用（比如把similar(X,Z), similar(Z,Y)写成similar(X,Z) similar(Z,Y)）；
• 不小心定义了空的similar.事实（无参的谓词定义）。

正确的规则写法与验证 #

先确认你的规则语法完全正确，应该是这样的：

similar(a, aa).
similar(aa, aaa).
similar(X, X).
similar(X, Y) :- similar(Y, X).
similar(X, Y) :- similar(X, Z), similar(Z, Y).

当你执行?- similar(a, aaa).时，Prolog的推导路径是这样的：

1. 先尝试前三条规则，都不匹配（a≠aaa，前两条事实的参数也不对应）；
2. 触发对称规则similar(X,Y) :- similar(Y,X)，转而查询similar(aaa, a)；
3. 对similar(aaa, a)触发传递规则similar(X,Y) :- similar(X,Z), similar(Z,Y)，选择Z=aa：
   • similar(aaa, aa)通过对称规则匹配事实similar(aa, aaa)；
   • similar(aa, a)通过对称规则匹配事实similar(a, aa)；
4. 所有子目标都满足，因此原查询返回true。

修复步骤 #

1. 检查语法细节：逐行核对每个规则，确保所有similar调用都带有两个参数，子目标之间用逗号分隔，每个规则结尾都有句点（Prolog对句点和逗号的要求很严格）；
2. 查看当前谓词定义：在Prolog控制台输入listing(similar).，可以看到所有已定义的similar谓词，确认没有意外的similar/0；
3. 优化递归逻辑：额外提一句，你的规则当前存在无限递归风险（比如对称规则和传递规则可能互相调用），可以考虑把事实和自反规则放在最前面，或者添加剪枝（比如!）来优化，但这不是导致当前错误的直接原因。

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