79212218

Date: 2024-11-21 17:01:05
Score: 1
Natty:
Report link

In Prolog, not is implemented as "negation as failure". not(X) succeeds if X fails, and fails if X succeeds. not doesn't mean "logical not" in the classical sense.

And it's considered deprecated due to such confusion and should not be used in a new code according to the SWI prolog. https://www.swi-prolog.org/pldoc/man?predicate=not/1

Reasons:
  • Low length (0.5):
  • No code block (0.5):
Posted by: Mo...