/*
   not X :- X is not provable.
*/
	:- op(900, fx, [not]).

     not X :- X, !, fail.
     not X.

%  Program 11.6   Negation as failure