在Prolog中找到重复项目时，请勿继续

Question

这个想法是定义一个谓词，它计算一个元素在列表中出现的次数，但是当有两次出现的元素时，递归会停止。

contElemen(_,[],0).
contElemen(X,[X|T],N):-contElemen(X,T,N1), N is N1 + 1.
contElemen(X,[_|T],N):- contElemen(X,T,N).

我不知道我是否理解prolog中的所有错误，当N = 2时是否可以停止执行（没有中断）？

显然，我是初学者，对不起，如果问题不正确。谢谢