Prolog递归元素求和程序运行异常问题排查

代码没有语法报错，但不符合Prolog的运算规则，两个核心问题导致运行失败：

1. Prolog 不会自动计算算术表达式的值，直接写INDEX+1、SUM-VALUE时，解释器会把它们当成普通的复合结构处理，不会算出整数结果，既匹配不上element/2里存的整数索引，也没法和终止条件的整数0完成匹配。
2. 递归时的变量绑定顺序错误：未实例化的逻辑变量直接参与未求值的算术表达式传递，递归过程中没法完成数值绑定。

element(0, 988).
element(1, 5434).
element(2, 5433).
element(3, 4543).
element(4, 827).

% 递归终止：索引超过最后一个元素下标4时，累加和为0
addElements(5, 0).

addElements(INDEX, SUM):-
    element(INDEX, VALUE),
    NEXT_INDEX is INDEX + 1,          % 用is显式计算下一个索引的整数值
    addElements(NEXT_INDEX, REST_SUM),% 先递归拿到后续元素的总和
    SUM is VALUE + REST_SUM.          % 用is显式计算当前位置到末尾的总和

执行查询addElements(0,X).，会返回正确的累加结果：

X = 17225.

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