a :- not b.
b :- not a.

-b.