![0 0 upvotes](/icons/vote_up.gif)
![0 0 downvotes](/icons/vote_down.gif)
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.