list - Prolog - 检查列表是否为空 []

Question

我只是想弄清楚如何检查列表是否为空，我将一些东西放在一起检查列表的长度，并且另外应该检查列表是否不为空。

% Gives the length of a list.
listlength([]     , 0 ).
listlength([_|Xs] , L ):- 
    listlength(Xs,N), 
    L is N+1. 

% checks to see that the length of the list is greater than or equal to 3 and not empty.
check_length( [] ).
check_length( L  ):-
    listlength(L, Len),
    Len >= 3,
    L \== [].    %This is the bit of code I'm having problems with 
                  it should be false if the list is just [] or empty.

我是一名学生，所以我不一定需要直接的答案，我只是想找出我做错了什么。

Answer 1

您不需要显式测试 L 是否为空列表；它的长度 > 0 证明了这一点。

并且您已经知道如何测试列表是否为空，因为您在 listLength 中使用了它:L=[_|_](即 L 是一个至少包含 1 个元素的列表。