尝试从列表中删除双打时为什么会出现存在错误？

Question

为什么我会在这里出现存在错误，

uncaught exception: error(existence_error(procedure,list_append/2),noDoubles/2)

我想从列表中删除双打，然后尝试使用序言中的'if'。

list_append(X,[],[X]).
list_append(X,L1,[X|L1]).

noDoubles([X],[X]).
noDoubles([H|T],L1):- (member(H,T) -> noDoubles(T,L1);(list_append(H,L1),noDoubles(T,L1))).

我有序言1.4.4

Answer 1

您已经定义了带有Arity 3的list_append，并且正在调用带有Arity 2的list_append谓词。