choices_04.lp 49 Bytes Edit Raw Blame History 1 2 3 4 5 a ; b. :- a, not b. % Answer: 1 % b % SATISFIABLE
