Prolog数学函数代码错误排查与泰勒级数近似实现问题

代码中的错误点 #

1. 谓词名称不匹配/未定义：start_exp调用了不存在的sum_series，实际应调用泰勒级数计算谓词expser；expser里调用了factor，但阶乘函数定义为factorial，名称完全不对应。
2. 冗余无效代码：approx_exp中的fact_pow从未定义，且该谓词与泰勒级数计算无关，属于无效代码段。
3. 泰勒级数逻辑缺失：原expser从N开始累加、初始累加器为0，漏掉了泰勒级数的首项X^0/0! = 1，导致计算结果少了基础项。
4. 语法转义错误：pow谓词中的N > 0是HTML转义字符，Prolog中需直接写N > 0。

修复后的完整代码 #

% 阶乘计算
factorial(0, 1).
factorial(N, F) :- 
    N > 0,
    N1 is N - 1,
    factorial(N1, F1),
    F is N * F1.

% 幂运算计算
pow(_, 0, 1).
pow(X, N, Result) :- 
    N > 0,
    N1 is N - 1,
    pow(X, N1, Result1),
    Result is Result1 * X.

% 泰勒级数计算e^x，累加0到N项的和
expser(X, N, Result) :- 
    expser(X, 0, N, 0, Result).
% 递归终止条件：当前项数超过N时返回累加结果
expser(_, Current, N, Acc, Acc) :- Current > N.
% 递归累加每一项：X^Current / Current!
expser(X, Current, N, Acc, Result) :- 
    Current =< N,
    factorial(Current, Fact),
    pow(X, Current, Power),
    Term is Power / Fact,
    NewAcc is Acc + Term,
    NextCurrent is Current + 1,
    expser(X, NextCurrent, N, NewAcc, Result).

% 启动函数：输入N（级数项数）和X，计算近似值与精确值
start_exp :- 
    write('请输入级数项数N：'),
    read(N),
    write('请输入变量X的值：'),
    read(X),
    expser(X, N, ApproximateY),
    ExactY is exp(X),
    writeln('近似值：'), writeln(ApproximateY),
    writeln('精确值：'), writeln(ExactY).

修复说明 #

• 调整expser递归逻辑：改为从第0项开始累加至第N项，确保包含泰勒级数的所有项（包括首项1）。
• 修正谓词名称匹配：将factor改为factorial，sum_series改为expser，确保调用有效。
• 移除无效的approx_exp谓词（原需求为泰勒级数计算，该段代码无意义）。
• 为factorial添加N > 0的条件判断，避免负数输入导致的无限递归。

内容的提问来源于stack exchange，提问作者Elerance- Anaiers