asp4.lp 350 B

1234567891011121314
  1. % Possibilities
  2. suspect(ms-scarlet; colonel-mustard).
  3. weapon(revolver; candle).
  4. place(kitchen; hall; dining-room).
  5. % One possibility only
  6. 1{murderer(X):suspect(X)}1.
  7. 1{weapon-of-crime(X):weapon(X)}1.
  8. 1{place-of-crime(X):place(X)}1.
  9. % Card deduction
  10. :- place(kitchen).
  11. place(hall) :- murderer(colonel_mustard), not weapon(revolver).
  12. weapon(candle).