Did you know ... Search Documentation:
Predicate not/1
Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2021-01-06T17:00:51):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

Note that not/1 is not declared as an operator:

?- write_canonical(not true).
ERROR: Syntax error: Operator expected

whereas \+ is, allowing nicer syntax:

?- write_canonical(\+ true).
\+(true)
true.