library(not)
This section describes the predicates provided by library(not): not/1, \=/2, ~=/2, and once/1. For comparison purposes, the negation facilities that are built into the Prolog system are also described.
not/1
\=/2
~=/2
once/1