Prolog中如何返回空列表？代码触发类型错误求助

问题原因 #

is/2谓词的作用是计算算术表达式并将结果绑定到左侧变量，它要求右侧必须是可求值的算术项（比如数字、算术运算符组合）。而你写的[]是空列表，不属于算术可求值类型，因此触发类型错误。

正确写法 #

直接使用Prolog的**统一（Unification）**机制绑定变量即可，不需要is/2，以下两种写法等价：

写法1：直接声明事实 #

fibonacci(0, []).

写法2：显式使用统一谓词=/2 #

fibonacci(0, X) :- X = [].

补充说明 #

• 只有当需要进行算术计算（比如计算斐波那契数值）时，才需要用到is/2，例如：

  fibonacci(1, [1]).
  fibonacci(N, Result) :-
      N > 1,
      N1 is N - 1,
      N2 is N - 2,
      fibonacci(N1, R1),
      fibonacci(N2, R2),
      append(R1, R2, Result). % 示例：生成斐波那契序列列表
  

• 统一是Prolog的核心机制，用于变量绑定、结构匹配，大部分变量赋值场景直接用统一就能完成，无需is/2。

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