为何Prolog的len函数返回求和表达式而非数值结果？

这个问题是Prolog初学者常踩的典型坑——混淆了结构匹配和算术求值的本质区别，我来给你拆解清楚：

首先先明确你的代码和查询场景：
你定义的len函数：

len([], 0). 
len([H|T], N + 1) :- len(T, N).

执行查询：

?- len([3,4,5], X).

得到的结果是X = 0 + 1 + 1 + 1，而非预期的X=3。

核心原因：Prolog的+默认是函子，不是自动求值的算术运算 #

在Prolog中，A + B本质上是一个项（term）——也就是一个以+为「函子」、A和B为参数的结构，和foo(A,B)这类自定义结构是同类东西。除非你用特定的算术谓词触发求值，否则Prolog只会把它当作普通结构进行匹配和绑定，不会自动计算数值结果。

你的递归过程是这样展开的：

1. 处理[3,4,5]时，规则要求第二个参数是N + 1，所以X被绑定为N1 + 1，同时递归调用len([4,5], N1)
2. 处理[4,5]时，N1被绑定为N2 + 1，此时X变成(N2 + 1) + 1，递归调用len([5], N2)
3. 处理[5]时，N2被绑定为N3 + 1，X变成((N3 + 1) + 1) + 1，递归调用len([], N3)
4. 最后匹配基础规则len([], 0)，N3被绑定为0，所以X最终就是0 + 1 + 1 + 1——这只是一个未求值的结构，不是计算后的数值。

修复方案：用is/2触发算术求值 #

要得到数值结果，你需要先完成递归得到子列表的长度，再用is/2谓词显式计算当前长度。修改后的函数应该是：

len([], 0).
len([H|T], N) :- 
    len(T, N0),  % 先递归得到子列表的长度N0
    N is N0 + 1. % 显式计算N为N0+1的数值结果

现在再执行查询?- len([3,4,5], X).，就会得到X = 3——因为每次递归后都会触发算术求值，把N0 +1的计算结果绑定给N。

额外提醒 #

Prolog的变量绑定是基于**统一（unification）**的结构匹配，不是命令式语言里的表达式赋值。只有当你使用is/2、=:=/2（数值相等判断）、>/2（数值大于判断）这类算术谓词时，才会对算术表达式进行求值。

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