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

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, но неработать в амзи! Пролог.