ne(X, Y). - Проверяет истинность утверждения, что арументы X и Y предиката не унифицируемы

X	Первый терм
Y	Второй терм