Prolog中的大小清单

Aut*_*ica 2 list prolog

我一直在尝试编写一个谓词,它会将列表的大小评估为偶数与否,这必须在不计算列表长度或任何算术运算的情况下完成.据说比计算长度更容易,但我没有想到如何做到这一点.我猜是一种递归技术,但如果有人能够帮助它会很棒.

key*_*ser 7

是的,你想要递归.基本情况将是您可以拥有的最小的奇数/偶数列表,然后您需要的是弄清楚如何构造递归调用,以便它可以归结为基本情况.您可以通过想象一个长度为3的列表开始,该列表应该为"oddList"返回true.如果它不是基本情况,那么下一个合乎逻辑的步骤是什么?奇数列表与偶数列表有何不同?