Prolog类型错误排查：提取列表偶数元素谓词报错解决

我想要编写一个能返回列表中偶数元素的Prolog谓词，编写的代码如下：

elements_pairs([], []). 
elements_pairs([H|T], R) :- 
    H mod 2 =:= 0, 
    elements_pairs(T,Rn), 
    R is [H|Rn]. 
elements_pairs([H|T], R) :- 
    not(H mod 2 =:= 0), 
    elements_pairs(T,Rn), 
    R is Rn. 

调用elements_pairs([1,3,4,6], R)时出现如下错误：

ERROR: Type error: [] expected, found [4|6] (a compound) ("x" must hold one character)
ERROR: In:
ERROR: [11] _3884 is [4|6]
ERROR: [10] elements_pairs([4,6],_3918) at path/tp.pl:21
ERROR: [9] elements_pairs([3,4|...],_3956) at path/tp.pl:21
ERROR: [8] elements_pairs([1,3|...],_3994) at path/tp.pl:21
ERROR: [7]

请问问题出在哪里？

问题根源 #

咱们先揪出核心问题：你误用了is/2谓词。在Prolog里，is/2是专门用来做算术求值的——它要求右边必须是一个能算出数字的算术表达式，然后把结果绑定到左边的变量。但你却用它来构建列表（R is [H|Rn]）或者直接绑定列表变量（R is Rn），这完全不是它的本职工作，所以Prolog直接抛出了类型错误。

列表在Prolog里是通过**统一（unification）**来处理的，根本不需要is/2。

修正后的代码 #

我们把所有的is替换成统一运算符=，或者用更符合Prolog风格的写法直接在谓词头部处理列表结构：

方式1：替换is为=

elements_pairs([], []). 
elements_pairs([H|T], R) :- 
    H mod 2 =:= 0, 
    elements_pairs(T, Rn), 
    R = [H|Rn].  % 用统一替代错误的is
elements_pairs([H|T], R) :- 
    H mod 2 =\= 0,  % 推荐用=\=替代not(=:=)，可读性更强
    elements_pairs(T, R).  % 直接统一R和递归结果，不用额外变量也可以

方式2：更简洁的头部统一写法

把结果列表的结构直接写到谓词头部，代码会更紧凑直观：

elements_pairs([], []). 
elements_pairs([H|T], [H|Rn]) :-  % 直接在头部指定结果列表的头是当前偶数H
    H mod 2 =:= 0, 
    elements_pairs(T, Rn). 
elements_pairs([H|T], R) :- 
    H mod 2 =\= 0, 
    elements_pairs(T, R). 

测试验证 #

现在调用elements_pairs([1,3,4,6], R)，会正确返回R = [4,6]，完全符合你的需求。

额外小建议 #

• 处理算术否定时，优先用=\=而不是not(=:=)，这是Prolog的惯用写法，读起来更自然。
• 递归处理列表时，尽量在谓词头部统一结果结构，这样代码逻辑更清晰，也更符合Prolog的声明式编程风格。

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