检查prolog中的两个列表是否不同

Question

diverso([X|L1],L2) :- nonp(X,L2), diverso(L1,L2).
nonp(X,[]).
nonp(X,[A|B]) :- X\=A, nonp(X,B).

这是我的代码，它不起作用，我不知道为什么。 错误是

  

Diverso / 2个未知谓词

我的查询是：

?-diverso([3,4],[1,2]).

Answer 1

为diverso谓词添加递归基本案例可以解决问题！