Import code from TD

td/td1/asp4.lp

@@ -0,0 +1,9 @@
+% One possibility only
+1{murderer(ms_scarlet),murder(colonel_mustard)}1.
+1{weapon(revolver),weapon(candle)}1.
+1{place(kitchen),place(hall), place(dining-room)}1.
+
+% Card deduction
+:- place(kitchen).
+place(hall) :- murderer(colonel_mustard), not weapon(revolver).
+weapon(candle).