dongfeng71

很容易解， 德国人住绿色的房子 、喝咖啡 、抽Prince 牌香烟 、养鱼。  

班超班长老请大餐噢！       

dongfeng71

目前得出的唯一的解答刚刚已经通过音频对话详细阐述给出题人了， 打字传上来太繁琐， 推理结果是唯一的， 即：


   
               

黄	蓝	红	绿	白
水	茶	牛奶	咖啡	啤酒
Dunhill	Blends	Pall Mall	Prince	Blue Master
猫	马	鸟	鱼	狗
挪威	丹麦	英国	德国	瑞典

dongfeng71

原帖由 maxmax 于 2006-12-10 20:39 发表
答案并不是唯一的,应该有两组.
因为 第9条说到、 挪威人住第一间房,即挪威人可能住左边第一间,也可能住右边第一间.但其实两组答案是一个意思.

提醒的很好！  应当考虑最右边的房是第一间房的情况。 如果这样定义第一间房， 也只有一种解答， 即：

绿	白	红	蓝	黄
咖啡	啤酒	牛奶	茶	水
Prince	Blue Master	Pall Mall	Blends	Dunhill
鱼	狗	鸟	马	猫
德国	瑞典	英国	丹麦	挪威

非常感谢！ 看来还是集思广益啊。      

班超老前辈要兑现承诺哦， 俺们期待着你的大餐宴请噢！  

dongfeng71

破解谁养斑马的新问题：  

这道题如果用列出5乘5矩阵的方法，推理填空解答，明显比班超出的第一道题难一些， 需要经过先后两次可能性讨论， 因为在推理过程中先后两次出现了符合条件的两种可能结果。 每一次，其中的一种可能结果被填入并且在此基础上依照已知条件继续推理填空， 就会和已知条件相矛盾，于是只能采用另一种可能结果。  最终只有一个正确答案， 即：

黄	蓝	红	白	绿
水	茶	牛奶	橘汁	咖啡
kools	Chesterfields	Winston	Lucky Strike	Parliaments
狐狸	马	蜗牛	狗	斑马
挪威	乌克兰	英国	西班牙	日本

LZ  提出的循环嵌套 、每种排列组合逐一检验的方法我不太懂， 根本不了解 Prolog 程序，准备请教一下班超、qquchn 版主， 当然还有 Sagood 等 Infomatik 专家。     

[ 本帖最后由 dongfeng71 于 2006-12-11 01:32 编辑 ]