a. %::0.3 => a;-a
b;-b.
c :- not b, not d.
d :- a, not c.