Prolog 递归谓词

Question

在 Prolog 中给出递归定义： 定义一个包含参数 X 的谓词当且仅当 X 是一个列表，X 的长度是奇数。

多年来，我一直在尝试解决这个问题。我只是想为自己学习 ProLog，并在一本书中发现了这个问题。

我已经尝试过了，但它可能只适用于偶数长度的列表。

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

谁能帮帮我？

Answer 1

你必须有这样的谓词：

list([]) :- fail.
list([_]).
list([_,_|T]) :- list(T).

您只需不断从列表中删除 2 个元素，直到出现 0 或 1 个。