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).
