求助：Prolog实现整数位数统计的代码无法运行，请帮忙排查

你的代码存在几个关键问题，导致无法正常运行，下面逐一说明并给出修正方案：

原代码的问题： #

• 递归参数不匹配：你定义的谓词是二元的numofdig(A,B)，但递归调用时写成了numofdig(A)，参数数量不符
• 变量重绑定错误：Prolog中逻辑变量一旦绑定值就不能被重新赋值，A is (A//10)试图修改已绑定的A，这是不允许的
• 计数逻辑失效：succ(0,S)每次都生成S=1，没有累计递归过程中的位数
• 缺少终止条件：没有处理A变为0时的递归结束逻辑，会导致无限递归
• 输出逻辑错误：write(B)放在递归过程中会导致多次输出，不符合Prolog通过变量返回结果的范式

基础修正版本 #

% 终止条件：当A被整除到0时，位数为0
numofdig(0, 0).
% 递归逻辑：A>0时，计算A//10的位数，再加1得到当前数的位数
numofdig(A, B) :-
    A > 0,
    A1 is A // 10,  % 用新变量存储整除后的结果
    numofdig(A1, B1),
    B is B1 + 1.     % 累计位数

使用示例：

?- numofdig(1234, B).
B = 4.

如果需要处理输入为0的情况（0的位数通常视为1），可以调整终止条件：

numofdig(0, 1).
numofdig(A, B) :-
    A > 0,
    A1 is A // 10,
    numofdig(A1, B1),
    B is B1 + 1.

尾递归优化版本（更高效） #

对于大数计算，尾递归版本可以避免栈溢出问题，通过累加器存储当前计数：

% 对外调用接口
numofdig(A, B) :-
    A >= 0,
    numofdig_rec(A, 0, B).

% 终止条件：A为0且累加器>0时，返回累加器
numofdig_rec(0, Acc, Acc) :- Acc > 0.
% 单独处理输入0的情况
numofdig_rec(0, 0, 1).
% 递归逻辑：每次整除10，累加器加1
numofdig_rec(A, Acc, B) :-
    A > 0,
    A1 is A // 10,
    NewAcc is Acc + 1,
    numofdig_rec(A1, NewAcc, B).

内容的提问来源于stack exchange，提问作者Nn .2