What does \+ mean in Prolog?

Question

I've seen some answers here that use it and I don't know what it means or how to use it. I's also hard to look for it via a search engine :)

Answer 1

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