p01.lp 57 Bytes Edit Raw Blame History 1 2 3 4 a. %::0.3 => a;-a b;-b. c :- not b, not d. d :- a, not c.
