What does \+ mean in Prolog?

It’s the ‘not provable‘ operator. It succeeds if its argument is not provable (and fails if its argument is provable).

Related Posts:

  1. “Not equal” sign in Visual 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. How do I append lists in Prolog?
  7. Reversing a List in Prolog
  8. List Length in Prolog
  9. Prolog “or” operator, query

Leave a Comment

tech