Prolog递归求和函数问题：查询返回false的错误排查

错误核心原因 #

你的代码返回false是因为递归分支覆盖不全：

• 仅定义了sum(1,2,9)这一个终止条件，但当X>1且N=2时，没有对应的子句处理这种场景，递归到sum(3,2,Y1)时无匹配规则，直接失败。
• 第二个子句同时要求X>1和N>2，导致N=2但X≠1的情况完全没有处理分支。

修复后的代码 #

结合原终止条件sum(1,2,9)反推，当N=2时的通用计算式应为((4*X+2)^2)/(2*2)，修改后补全所有分支：

% 终止条件：N=2时，直接计算对应值（支持任意X>0）
sum(X, 2, Y) :-
    X > 0,
    Y is ((4*X + 2)^2) / (2*2).

% 递归分支：N>2时，累加计算
sum(X, N, Y) :-
    X > 0,
    N > 2,
    N1 is N - 1,
    sum(X, N1, Y1),
    Y is Y1 + ((4*X + N)^2) / (2*N).

验证效果 #

执行查询?- sum(3,4,Y).，会逐步递归计算：

1. 从sum(3,4,Y)递归到sum(3,3,Y1)
2. 再递归到sum(3,2,Y1)，触发终止条件算出Y1=49
3. 回溯计算sum(3,3,Y1)得86.5，最终算出sum(3,4,Y)的结果为118.5，不再返回false。

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