Prolog查询cites/topic谓词触发无限递归致栈溢出问题

无限递归的核心问题出在cites/2的推理规则缺少结构边界约束：

• 原规则写法为cites(Sentence, Law) :- cites(Sentence, article(_, Law))，规则头没有对第二个参数的类型做限制。
• 当Prolog从事实推导出第一个有效结果cites(sentence(1, 2021), article(5, law(1, 2021)))，再回溯匹配规则、算出第二个结果cites(sentence(1, 2021), law(1, 2021))后，会继续沿着规则的目标向下递归。
• 此时Prolog不会主动判断当前传入的第二个参数是law结构，只会硬凑规则要求的article(_, Law)的合一形式，不断往外层构造article(任意编号, article(任意编号, ......))的无限嵌套结构，最终撑爆栈内存。报错日志里深度达三千多万层的栈帧，就是这种无终止的套娃过程产生的。

核心思路是给递归路径加边界，切断无意义的自匹配，两种可直接落地的改法：

方案1：给规则加显式结构校验 #

在cites的推理规则中，显式限定第二个参数必须是law/2结构，让不匹配结构的递归调用直接终止：

% 原有事实保持不变
cites(sentence(1, 2021), article(5, law(1, 2021))).

% 新增结构校验：只有当Law是law结构时，才触发这条推理
cites(Sentence, Law) :- 
  Law = law(_, _),
  cites(Sentence, article(_, Law)).

改完后，规则内层调用的目标cites(Sentence, article(_, Law))的第二个参数是article结构，根本不满足规则头要求的law(_,_)约束，递归走到这里就会正常终止，不会再无限套娃。

方案2：拆分底层事实和上层推理谓词 #

把存原始事实的逻辑和带推理逻辑分离，避免上层推理谓词直接自调用：

% 底层事实层：只存最原始的直接引用关系
direct_cites(sentence(1, 2021), article(5, law(1, 2021))).

% 上层推理层：所有推理只调用底层事实谓词，不直接自调用
cites(Sentence, Cited) :- direct_cites(Sentence, Cited).
cites(Sentence, Law) :- 
  direct_cites(Sentence, article(_, Law)).

这种写法从根源上避免了谓词的自递归，因为上层cites的所有规则只会调用底层的direct_cites，不会触发cites自身的规则匹配，自然不会产生无限递归。

• 执行cites(X, Y)查询时，会正常返回两个有效结果：
  • X = sentence(1, 2021), Y = article(5, law(1, 2021))
  • X = sentence(1, 2021), Y = law(1, 2021)
    回溯过程会正常终止，不会再触发栈溢出。
• 连带解决topic/2谓词的递归问题：原有的topic规则依赖cites的引用关系，cites的递归终止后，执行topic(X,Y)会正常返回X = article(5, law(1, 2021)), Y = labour、X = sentence(1, 2021), Y = labour两个结果，不会再跟着cites的递归一起栈爆。

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