如何修复Prolog中含未知变量的代数表达式化简代码

问题原因 #

你当前代码的simplify_addition仅支持两种加法场景：

• 两个操作数均为数字，直接求和
• 一个操作数是原子、一个是数字，直接返回原加法表达式
  而Prolog中2 + x + 3默认是左结合的，解析为(2 + x) + 3，当代码处理外层加法时，左操作数是复合表达式2 + x，无法匹配现有规则，自然不会合并两个常数项。

修改方案 #

1. 清理冗余规则 #

先删除原代码中重复定义的冗余规则，避免不必要的匹配：

% 原代码重复定义了两次以下两行，删除其中一组即可
simplify(0 + X, X).
simplify(X - 0, X).

2. 新增嵌套加法的常数合并规则 #

注意新增规则要放在simplify_addition所有原有规则的最前面，保证Prolog优先匹配合并逻辑：

% 匹配左操作数为加法表达式的场景：(表达式 + 常数1) + 常数2
simplify_addition((E + C1) + C2, R) :-
    number(C1),
    number(C2),
    Sum is C1 + C2,
    simplify_addition(E + Sum, R).
% 匹配右操作数为加法表达式的场景：常数1 + (表达式 + 常数2)
simplify_addition(C1 + (E + C2), R) :-
    number(C1),
    number(C2),
    Sum is C1 + C2,
    simplify_addition(E + Sum, R).

3. （可选）统一表达式格式 #

如果需要让常数项统一放在变量前面（比如输出5 + x而非x + 5），可以额外新增一条交换规则：

simplify_addition(A + C, C + A) :-
    atom(A),
    number(C).

测试效果 #

修改完成后运行查询：

?- simplify(2 + x + 3, R).

会返回正确结果：R = 5+x（如果没有加交换规则则返回R = x+5，都属于正确化简结果）。

扩展建议 #

如果后续需要处理多变量、多常数的混合加法（比如2 + x + 3 + y + 4），可以进一步改造规则，把所有常数项提取出来统一求和，变量项保留按序排列即可。

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