Introduction -- 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.