Prolog递归谓词定义：如何判断列表长度为奇数？

嘿，我懂你的困扰啦——你已经写出了判断偶数长度列表的谓词mult2_length/1，现在需要的是它的“对立面”：判断列表长度为奇数的谓词对吧？咱们一步步拆解这个问题。

首先先看你写的偶数长度判断代码：

mult2_length( [] ).
mult2_length( [ _, _ | Xs ] ) :- mult2_length( Xs ).

这个逻辑完全没问题：空列表长度为0（偶数）作为基础情况，每次递归去掉两个元素，最后能匹配空列表就说明原列表长度是偶数。那反过来，奇数长度的列表核心特征是什么？要么长度是1（最小的奇数），要么去掉两个元素后剩下的列表长度还是奇数；或者换个更直观的角度：去掉第一个元素后，剩下的列表长度是偶数。

方法1：独立递归定义 #

我们可以直接写一个odd_length/1谓词，递归逻辑如下：

• 基础情况：只有一个元素的列表，长度为1（奇数），直接成立。
• 递归情况：如果列表前两个元素被去掉后，剩下的列表长度是奇数，那么原列表长度就是奇数。

对应的代码：

% 基础情况：长度为1的列表（奇数）
odd_length([_]).

% 递归情况：去掉前两个元素后，剩余列表长度为奇数
odd_length([_, _ | Xs]) :- odd_length(Xs).

方法2：复用已有的偶数长度谓词 #

既然你已经有了判断偶数长度的mult2_length/1，我们可以直接复用它——因为奇数长度的列表去掉第一个元素后，剩下的必然是偶数长度的列表：

odd_length([_ | Xs]) :- mult2_length(Xs).

这个实现更简洁，而且逻辑非常清晰：只要列表能拆成一个元素加一个偶数长度的子列表，那它的长度就是奇数。

测试验证 #

我们来测试几个例子，确保逻辑正确：

• odd_length([]) → 返回false（空列表长度为0，偶数），正确。
• odd_length([a]) → 返回true（长度1，奇数），正确。
• odd_length([a,b,c]) → 两种实现都会返回true（长度3，奇数），正确。
• odd_length([a,b,c,d]) → 返回false（长度4，偶数），正确。

如果用变量查询odd_length(X)，Prolog还会自动生成所有长度为奇数的列表（比如X = [_], X = [_,_,_]等），这也符合预期。

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