

This operator is a hard nut.
I have some notes on the Prolog \+
here:
Did you know ... | Search Documentation: |
![]() | Predicate \+/1 |
+
refers to provable and the backslash (\
)
is normally used to indicate negation in Prolog).
Many Prolog implementations (including SWI-Prolog) provide not/1. The not/1 alternative is deprecated due to its strong link to logical negation.
This operator is a hard nut.
I have some notes on the Prolog \+
here: