asp4.lp 279 B

123456789
  1. % One possibility only
  2. 1{murderer(ms_scarlet),murder(colonel_mustard)}1.
  3. 1{weapon(revolver),weapon(candle)}1.
  4. 1{place(kitchen),place(hall), place(dining-room)}1.
  5. % Card deduction
  6. :- place(kitchen).
  7. place(hall) :- murderer(colonel_mustard), not weapon(revolver).
  8. weapon(candle).