我最近开始学习 Prolog 是为了好玩。我发现了以下谋杀之谜。由于除了基础知识之外我对 Prolog 知之甚少，因此我无法真正评估链接中提供的解决方案，但是，它对我来说似乎并不是特别好。我的解决方案不足以产生正确的答案，所以我正在寻找一些关于如何到达那里的指示，或者是否有可能用我的方法到达那里。这是万一链接断开的难题：
要查明是谁杀死了博迪先生，您需要了解每个人在哪里，以及房间里有什么武器。线索分散在整个测验中（在阅读完所有 10 个问题之前，您无法解决问题 1）。
首先，您需要了解嫌疑人。有三个男人（乔治、约翰、罗伯特）和三个女人（芭芭拉、克里斯汀、约兰达）。每个人都在不同的房间（浴室、餐厅、厨房、客厅、储藏室、书房）。在每个房间里都发现了一件可疑的武器（袋子、火器、毒气、刀、毒药、绳子）。谁在厨房被发现？
线索1：厨房里的人没有带绳子、刀或包。那么，在厨房里发现了哪种武器，而不是枪支呢？
线索 2：芭芭拉要么在书房，要么在浴室；约兰达在另一个。芭芭拉是在哪个房间找到的？
线索 3：提包的人既不是芭芭拉也不是乔治，他既不在浴室也不在餐厅。谁把包放在房间里？
线索4：在研究中发现了拿着绳子的女人。绳子是谁拿的？
线索 5：客厅里的武器是在约翰或乔治身上找到的。客厅里放着什么武器？
线索6：刀不在餐厅里。那么刀在哪里呢？
线索 7：Yolanda 没有携带在书房和储藏室中发现的武器。与尤兰达一起发现了什么武器？
线索 8：枪和乔治在房间里。枪支是在哪个房间找到的？
人们发现博迪先生在储藏室里被毒死了。在那个房间里发现的嫌疑人就是凶手。那么，你指的是谁呢？
这是作者解决方案的链接。
这是我尝试的解决方案：
male(george).
male(john).
male(robert).
female(barbara).
female(christine).
female(yolanda).
person(X) :- male(X).
person(X) :- female(X).
room(kitchen).
room(bathroom).
room(diningroom).
room(livingroom).
room(pantry).
room(study).
weapon(bag).
weapon(firearm).
weapon(gas).
weapon(knife).
weapon(poison).
weapon(rope).
/*
Clue 1: The man in the kitchen was not found with
the rope, knife, or bag.
Which weapon, then, which was not the firearm,
was found in the kitchen?
*/
/* X is Weapon, Y is Room, Z is Person */
killer(X, Y, Z) :-
room(Y) = room(kitchen),
male(Z),
dif(weapon(X), weapon(rope)),
dif(weapon(X), weapon(knife)),
dif(weapon(X), weapon(bag)),
dif(weapon(X), weapon(firearm)).
/*
Clue 2: Barbara was either in the study or the bathroom;
Yolanda was in the other.
Which room was Barbara found in?
*/
/* It was easy to deduce the following from other data */
killer(X, Y, Z) :-
female(Z) = female(barbara),
room(study) = room(Y).
killer(X, Y, Z) :-
female(Z) = female(yolanda),
room(bathroom) = room(Y).
/*
Clue 3: The person with the bag, who was not Barbara nor
George, was not in the bathroom nor the dining room.
Who had the bag in the room with them?
*/
killer(X, Y, Z) :-
weapon(bag) = weapon(X),
dif(room(Y), room(bathroom)),
dif(room(Y), room(diningroom)),
dif(person(Z), male(george)),
dif(person(Z), female(barbara)).
/*
Clue 4: The woman with the rope was found in the study.
Who had the rope?
*/
killer(X, Y, Z) :-
weapon(rope) = weapon(X),
room(study) = room(Y),
female(Z).
/*
Clue 5: The weapon in the living room was found with either
John or George. What weapon was in the living room?
*/
killer(X, Y, Z) :-
room(Y) = room(livingroom),
dif(male(Z), male(robert)).
/*
Clue 6: The knife was not in the dining room.
So where was the knife?
*/
killer(X, Y, Z) :-
weapon(knife) = weapon(X),
room(Y) \= room(diningroom).
/*
Clue 7: Yolanda was not with the weapon found
in the study nor the pantry.
What weapon was found with Yolanda?
*/
killer(X, Y, Z) :-
female(yolanda) = female(Z),
dif(room(study), room(Y)),
dif(room(pantry), room(Y)).
/*
Clue 8: The firearm was in the room with George.
In which room was the firearm found?
*/
killer(X, Y, Z) :-
weapon(firearm) = weapon(X),
male(george) = male(Z).
/*
It was discovered that Mr. Boddy was gassed in the pantry.
The suspect found in that room was the murderer.
Who, then, do you point the finger towards?
*/
killer(X, Y, Z) :-
room(Y) = room(pantry),
weapon(X) = weapon(gas).