a   :- not b.