choices_06.lp 50 Bytes Edit Raw Blame History 1 2 3 4 5 a::0.7. b ; c :- a. % Answer: 1 % -a % SATISFIABLE
