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.
Did you know ... | Search Documentation: |
Predicate not/1 |
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.