The argument has to be a goal. If the goal succeed, return "no". If it failed, return "yes".
Example:
a.
?- a. yes.
?- not a. no.
?- not not a. yes.
Similar to predicate \+
The argument has to be a goal. If the goal succeed, return "no". If it failed, return "yes".
Example:
a.
?- a. yes.
?- not a. no.
?- not not a. yes.
Similar to predicate \+