Visual Prolog：判断integer*列表头部奇偶性及解决类型错误

错误原因 #

你遇到的error c504是因为Head是单元素列表（integer*类型），而mod运算符要求操作数为纯整数（integer类型），直接用列表做整数运算会触发类型不兼容。

修正方案 #

核心是从Head这个单元素列表里提取出真正的整数，再参与运算，有两种简洁写法：

写法1：在列表匹配时直接拆解

Function([[X] | Tail], [X | TailEven], OddList) :-
        0 = X mod 2,
        Function(Tail, TailEven, OddList).

写法2：显式提取列表内的整数

Function([Head | Tail], [X | TailEven], OddList) :-
        [X] = Head,  % 从单元素列表Head中取出整数X
        0 = X mod 2,
        Function(Tail, TailEven, OddList).

完整谓词逻辑补充 #

要实现完整的奇偶分类，还需要加上奇数分支和递归终止条件：

% 处理偶数分支
Function([[X] | Tail], [X | TailEven], OddList) :-
        0 = X mod 2,
        Function(Tail, TailEven, OddList).

% 处理奇数分支
Function([[X] | Tail], EvenList, [X | TailOdd]) :-
        1 = X mod 2,
        Function(Tail, EvenList, TailOdd).

% 空列表的递归终止条件
Function([], [], []).

额外说明 #

原代码中的append(Head, TailEven, EvenList)属于冗余操作——[Head | TailEven]本身就是将头部元素拼接到结果列表开头，修正后直接传递TailEven即可完成递归拼接。

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