【算法】 用Prolog解决谁是凶手问题
四、谁是凶手
下面看一个比较有趣的逻辑题。
Boddy 先生死于谋杀，现有六个嫌疑犯，每个人在不同的房间，每间房间各有一件可能的凶器，但不知道嫌疑犯、房间、凶器的对应关系。请根据下面的条件和线索，找出谁是凶手。
已知条件：六个嫌疑犯是三男（George、John、Robert）三女（Barbara、Christine、Yolanda）。
man(george). man(john). man(robert).
woman(barbara). woman(christine). woman(yolanda).为了后面解题的方便，需要把"男人"和"女人"都定义为"人"。
person(X):- man(X).
person(X):- woman(X).六个嫌疑犯分别待在六个房间：浴室（Bathroom）、饭厅（Dining Room）、厨房（Kitchen）、起居室（Living Room）、 储藏室（Pantry）、书房（Study）。每间房间都有一件可疑的物品，可以当作凶器：包（Bag）、火枪（Firearm）、煤气（Gas）、刀（Knife）、毒药（Poison）、绳索（Rope）。
location(bathroom). location(dining). location(kitchen).
location(livingroom). location(pantry). location(study).
weapon(bag). weapon(firearm). weapon(gas).
weapon(knife). weapon(poison). weapon(rope).下面声明一条规则，每个房间的人都是不一样的。
uniq_ppl(A,B,C,D,E,F):-
person(A), person(B), person(C),
person(D), person(E), person(F),
\+A=B, \+A=C, \+A=D, \+A=E, \+A=F,
\+B=C, \+B=D, \+B=E, \+B=F,
\+C=D, \+C=E, \+C=F,
\+D=E, \+D=F,
\+E=F.然后，定义一个表达式murderer(X)，变量X就是凶手。该表达式只有满足以下所有条件，才可能为true。
murderer(X) :-
uniq_ppl(Bathroom, Dining, Kitchen, Livingroom, Pantry, Study),
uniq_ppl(Bag, Firearm, Gas, Knife, Poison, Rope),注意，上面代码中Bathroom和Bag这样的字符串，都是大写字母开头，所以都是变量，代表对应的人。至于具体是谁，就要通过推理得到。
线索一：厨房里面是一个男人，那里的凶器不是绳索、刀子、包和火枪。
man(Kitchen),
\+Kitchen=Rope, \+Kitchen=Knife, \+Kitchen=Bag, \+Kitchen=Firearm,线索二：Barbara 和 Yolanda 在浴室和书房。
woman(Bathroom), woman(Study),
\+christine=Bathroom, \+christine=Study,
\+barbara=Dining, \+barbara=Kitchen,
\+barbara=Livingroom, \+barbara=Pantry,
\+yolanda=Dining, \+yolanda=Kitchen,
\+yolanda=Livingroom, \+yolanda=Pantry,线索三：带包的那个人不是 Barbara 和 George，也不在浴室和饭厅。
\+barbara=Bag, \+george=Bag,
\+Bag=Bathroom, \+Bag=Dining,线索四：书房里面是一个带绳子的女人。
woman(Rope), Rope=Study,线索五：起居室里面那件凶器，与 John 或 George 在一起。
man(Livingroom), \+Livingroom=robert,线索六：刀子不在饭厅。
\+Knife=Dining,线索七：书房和食品储藏室里面的凶器，没跟 Yolanda 在一起。
\+yolanda=Pantry, \+yolanda=Study,线索八：George 所在的那间屋子有火枪。
Firearm=george,线索九：Boddy 先生死在食品储藏室里，那里的凶器是煤气。
Pantry=Gas, Pantry=X, Gas=X,线索就是上面这些，然后把写好的所有表达式放在一起，组成一个完整的脚本crime.pl，代码看这里。
加载这个脚本，执行murderer(X)函数，由于条件复杂，运算时间较长，最终会显示凶手是谁。
?- [crime].
true.
?- murderer(X).
KILLER IS :christine
Bathroom: yolanda
Dining: george
Livingroom: john
Pantry: christine
Study: barbara
Kitchen: robert
Knife: yolanda
Gas: christine
Rope: barbara
Bag: john
Poison: robert
Firearm: george
X = christine ;