Какая разница между этим:

X \= Y

и этот кусок кода:

dif(X, Y)

Я думал, что они должны вести себя так же, но они этого не делают. Вот пример:

n_puta(L, N, X) :- nputa(L, N, 0, X).
nputa([], N, C, _) :- N = C.
nputa([G|R], N, C, X) :- G = X, nputa(R, N, Y, X), C is Y - 1.
nputa([G|R], N, C, X) :- dif(G,X), nputa(R, N, C, X).

И вот несколько звонков:

?- n_puta([a,a,b,b,b], 2, X).
X = a ;
false.

?- n_puta([a,a,b,a,b,b], 3, X).
X = a ;
X = b ;
false.

X должен быть атомом, который встречается ровно N раз в списке L. Если я заменюdif(G, X) с участиемG \= XЯ не получаю ожидаемого результата. Может кто-нибудь сказать мне, в чем разница между этими двумя операторами? Могу ли я использовать что-нибудь еще, кромеdif(G, X)?

Этот пример прекрасно работает в SWI-Prolog, но не работает в Amzi! Пролог.