显示了Prolog单例变量

Question

我的Prolog代码中有错误：

member(X,[X|T]).
member(X,[H|T]):-
    member(X,T),!.

代码有效并显示正确的结果，但我无法理解显示错误的原因？