标签: list prolog
所以我开始创建一个基础案例。然后想出了这个:
list([]). list([_|_]):- list([_],true), list([_|_],true).
因此,当我运行它应该这样做
-list([1,2,3]) → True. -list(hello) → False.