LogicalCaptain said (2020-05-13T12:37:17): 0 This operator is a hard nut. I have some notes on the Prolog \+ here: Notes on negation Floundering Double negation