“Not equal” sign in Visual Prolog?

I don’t know what do you mean by “not equal” (does not unify?), but you could try these:

X \= Y
not(X = Y)
\+ (X = Y)

Related Posts:

  1. What does \+ mean in Prolog?
  2. singleton variables in prolog
  3. Prolog – Arguments are not sufficiently instantiated
  4. ‘if’ in prolog?
  5. “Syntax error: Operator expected” in Prolog
  6. The SQL OVER() clause – when and why is it useful?
  7. How to override equals method in Java
  8. How do I append lists in Prolog?
  9. How to check if my string is equal to null?
  10. Reversing a List in Prolog
  11. difference between equals() and hashCode()
  12. Why are two empty ArrayLists with different generic types equal?
  13. List Length in Prolog
  14. Prolog “or” operator, query

Leave a Comment