斑马问题，这个星期解决！

df7009

斑马问题是一个著名的约束满足问题。就是在五个颜色各异的房子中，居住着不同国籍的人，他们饲养的宠物，喜欢喝的饮料以及拥有的汽车也各不相同。具体情况如下：
房子：1、2、3、4、5
颜色：绿色、黄色、蓝色、红色、象牙色、
饮料：可乐 、矿泉水、蛋酒、牛奶、桔汁
国籍：日本、挪威、乌克兰、英国、西班牙
汽车：大众、福特、雪佛莱、老爷车、奔驰
宠物：斑马、狐狸、马、蜗牛、狗
还有以下的信息：
1.英国人住在红房子里。
2.西班牙人养狗。
3.居住在绿房子里的人喝可乐。
4.乌克兰人喝蛋酒。
5.绿房子是象牙色房子的右邻
6.拥有老爷车的人养蜗牛。
7.拥有福特汽车的人住在黄房子里
8.住在中间房子里的人喝牛奶。
9.挪威人住在最左边的房子里。
10.拥有雪佛莱汽车的人与养狐狸的人是邻居。
11.拥有福特汽车的人与养马的人是邻居。
12.拥有奔驰汽车的人爱喝桔汁。
13.日本人开大众汽车。
14.挪威人的邻居住在蓝房子里。
问题是：斑马属于谁？谁爱喝矿泉水？


本文来自ChinaUnix博客，如果查看原文请点：http://blog.chinaunix.net/u2/64466/showart_1296982.html