What does \+ mean in Prolog? September 12, 2023 by Tarik It’s the ‘not provable’ operator. It succeeds if its argument is not provable (and fails if its argument is provable).