\begin{verbatim}

%Checking the second encoding of integrity constraints.

a :- not b.

b :- not a.


p :- a.

q :- not q.

q :- not p.

\end{verbatim}