【发布时间】：2020-08-29 17:29:06
【问题描述】：
我最近开始学习 Prolog 是为了好玩。我找到了以下murder mystery puzzle。由于除了基础知识之外我对 Prolog 知之甚少，因此我无法真正评估链接中提供的解决方案，但是，它对我来说似乎并不是特别好。我的解决方案不足以产生正确的答案，所以我正在寻找一些关于如何到达那里的指示，或者是否有可能用我的方法到达那里。这是一个谜题，以防万一链接断开：
要找出谁杀死了博迪先生，您需要了解每个人在哪里 是，房间里有什么武器。线索散落在各处 测验（在阅读所有 10 个问题之前，您无法解决问题 1）。
首先，您需要了解嫌疑人。三个男人（乔治， 约翰、罗伯特）和三个女人（芭芭拉、克里斯汀、约兰达）。每个 人在不同的房间（浴室、餐厅、厨房、客厅 房间，储藏室，书房）。在每个房间里都发现了一件可疑的武器（包， 火器、毒气、刀、毒药、绳子）。在厨房里发现了谁？
线索 1：没有发现厨房里的人拿着绳子、刀或 包。那么，哪件武器不是枪支，是在 厨房？
线索 2：芭芭拉要么在书房，要么在浴室；约兰达是 在另一个。芭芭拉是在哪个房间找到的？
线索 3：提包的人，不是芭芭拉也不是乔治，是 不在浴室，也不在餐厅。谁把包放在房间里 和他们一起？
线索4：在研究中发现了拿着绳子的女人。谁拥有 绳子？
线索 5：起居室里的武器是与 John 或 乔治。客厅里有什么武器？
线索 6：刀不在餐厅里。那么刀在哪里呢？
线索 7：Yolanda 没有携带研究中发现的武器，也没有携带 储藏室。在 Yolanda 身上发现了什么武器？
线索 8：枪支在乔治所在的房间里。在哪个房间里 找到枪支了吗？
人们发现博迪先生在储藏室里被毒死了。犯罪嫌疑人 在那个房间里发现的是凶手。那么，你指的是谁 手指向？
这是作者解决方案的link。
这是我尝试的解决方案：
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).
【问题讨论】：
-
您提到我提出的解决方案不容易阅读（我同意，实际上它应该只演示该方法）。您可以查看更新后的解决方案。
标签： prolog zebra-puzzle