\begin{verbatim}

%Checking the first encoding of integrity constraints.

a :- not b.

b :- not a.

p :- not p, a.

\end{verbatim}