GNU Prolog单位转换程序栈溢出及规则顺序影响问题求助

问题根源 #

1. 无限递归回溯：原代码中的传递规则（第7行）在匹配到正确结果后，会触发回溯尝试其他匹配路径，而该规则没有任何限制，会不断递归调用自身，直到栈溢出。比如查询conversion(hr,X,sec)，在得到3600/1的正确结果后，Prolog会回溯，尝试第一个子目标conversion(hr,X/Y,Unit2)的其他匹配方式——也就是再次调用传递规则，形成无限递归循环。
2. 截断符作用范围有限：第6行反转规则中的!只能截断当前分支的回溯，但无法阻止传递规则执行后的回溯递归。只有当查询直接匹配反转规则时（比如conversion(min,X,hr)），!才会生效，截断后续的传递规则调用，避免溢出；但需要多步传递转换的查询（如conversion(hr,X,sec)）仍会触发无限回溯。
3. 规则顺序影响匹配逻辑：交换第6、7行后，传递规则会被优先匹配。像conversion(min,X,hr)这类原本可以通过反转规则直接得到结果的查询，现在会先进入传递规则的无限递归，直接触发栈溢出；而原顺序中，反转规则先匹配，截断回溯，所以能正常返回结果。

解决方案 #

核心思路是将单向转换事实与转换逻辑分离，从根源切断无限递归的可能。重新设计的代码如下：

% 定义单向基础转换事实（仅存储正向转换关系）
direct_conversion(meters, 82/25, feet).
direct_conversion(feet,   12/1,  in  ).
direct_conversion(hr,     60/1,  min ).
direct_conversion(min,    60/1,  sec ).

% 1. 直接匹配单向转换
conversion(Unit1, Ratio, Unit2) :-
    direct_conversion(Unit1, Ratio, Unit2).

% 2. 推导反转转换关系
conversion(Unit2, Y/X, Unit1) :-
    direct_conversion(Unit1, X/Y, Unit2).

% 3. 处理多步传递转换
conversion(Unit1, Num/Den, Unit3) :-
    direct_conversion(Unit1, X/Y, Unit2),
    conversion(Unit2, A/B, Unit3),
    Num is X * A,
    Den is Y * B.

代码说明 #

• 单向事实隔离：direct_conversion仅存储最基础的正向转换规则，避免了递归调用自身的可能。
• 分层匹配逻辑：查询会优先尝试直接转换或反转转换，只有需要多步串联时才进入传递规则，确保每一步都基于有限的事实集合。
• 无递归风险：传递规则通过direct_conversion获取中间单位，不会触发自身的无限递归，彻底解决栈溢出问题。

测试验证 #

使用上述代码测试所有查询，均能正常返回结果：

• conversion(meters,X,in). → X = 984/25
• conversion(hr,X,sec). → X = 3600/1
• conversion(in, X, meters). → X = 25/984
• conversion(min,X,hr). → X = 1/60

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