library(not) defines
not Goal
Term1 \= Term2
Term1 ~= Term2
once(Goal)
The tests
\+ Goal
Term1 \== Term2
Expr1 =\= Expr2
are built into Quintus Prolog already, and are described in the reference pages.