|
|
@@ -1,14 +1,16 @@
|
|
|
% Possibilities
|
|
|
-suspect(ms-scarlet; colonel-mustard).
|
|
|
+suspect(ms_scarlet; colonel_mustard).
|
|
|
weapon(revolver; candle).
|
|
|
-place(kitchen; hall; dining-room).
|
|
|
+place(kitchen; hall; dining_room).
|
|
|
|
|
|
% One possibility only
|
|
|
-1{murderer(X):suspect(X)}1.
|
|
|
-1{weapon-of-crime(X):weapon(X)}1.
|
|
|
-1{place-of-crime(X):place(X)}1.
|
|
|
+1{murderer(X) : suspect(X)}1.
|
|
|
+1{weapon_of_crime(X) : weapon(X)}1.
|
|
|
+1{place_of_crime(X) : place(X)}1.
|
|
|
|
|
|
% Card deduction
|
|
|
-:- place(kitchen).
|
|
|
-place(hall) :- murderer(colonel_mustard), not weapon(revolver).
|
|
|
-weapon(candle).
|
|
|
+:- place_of_crime(kitchen).
|
|
|
+place_of_crime(hall) :- murderer(colonel_mustard), not weapon_of_crime(revolver).
|
|
|
+weapon_of_crime(candle).
|
|
|
+
|
|
|
+#show murderer/1.
|
