prolog - 使用 Prolog 的爱因斯坦谜语

Question

我正在尝试使用 Prolog 解决爱因斯坦之谜。当我尝试按房屋(Hs)运行时，它显示否。任务是

1. 英国人住在红房子里。
2. 瑞典人养狗作为宠物。
3. 丹麦人喝茶。
4. 绿房子就在白宫的左边。
5. 温室的主人喝咖啡。
6. 抽 Pall Mall 烟的老板养鸟。
7. 黄色房子的主人抽登喜路香烟。
8. 住在中间房子的主人喝牛奶。
9. 挪威人住在第一栋房子里。
10. 抽 Blends 烟的主人住在养猫的主人旁边。
11. 养马的主人住在抽 Dunhill 烟的主人旁边。
12. 抽 Bluemasters 烟的老板喝啤酒。
13. 德国人抽 Prince 烟。
14. 挪威人住在蓝房子旁边。
15. 抽 Blends 的主人住在喝水的主人旁边。

    houses(Hs) :-
       length(Hs, 5),                                            
       member(h(english,_,_,_,red), Hs),                         
       member(h(swede,dog,_,_,_), Hs),                         
       member(h(_,_,_,coffee,green), Hs),                        
       member(h(dane,_,_,tea,_), Hs),                       
       next(h(_,_,_,_,green), h(_,_,_,_,white), Hs),             
       member(h(_,bird,'Pall Mall',_,_), Hs),                       
       member(h(_,_,'Dunhill',_,yellow), Hs),                         
       Hs = [_,_,h(_,_,_,milk,_),_,_],                           
       Hs = [h(norwegian,_,_,_,_)|_],                            
       next(h(_,horse,_,_,_), h(_,_,'Dunhill',_,_), Hs),        
       next(h(_,_,blend,_,_), h(_,cat,_,_,_), Hs),             
       member(h(_,_,'Blue Master',beer,_), Hs),                        
       member(h(german,_,'Prince',_,_), Hs),                      
       next(h(norwegian,_,_,_,_), h(_,_,_,_,blue), Hs),  
       next(h(_,_,'Blend',_,_), h(_,_,_,water,_), Hs), 
       member(h(_,fish,_,_,_), Hs).

    next(A, B, Ls) :- append(_, [A,B|_], Ls).
    next(A, B, Ls) :- append(_, [B,A|_], Ls).

我不知道出了什么问题。谢谢

Answer 1

这是您的程序的概括。我添加了一些额外的 * 来删除多个目标，并用 _/*origterm*/ 替换了一些术语。然而，最终的程序仍然失败。因此，错误必须出现在剩余片段中。你没有说任何关于这个程序的事情(编辑:你后来添加了一些东西)，所以我不(编辑:想要)知道它是关于什么的。但无论如何，错误必须出现在剩余的可见部分:

:- initialization(houses(_Sol)).
:- op(950, fy, *).
*_.

houses(Hs) :-
   length(Hs, 5),
   * member(h(english,_,_,_,red), Hs),                         %  2
   * member(h(swede,dog,_,_,_), Hs),
   * member(h(_,_,_,coffee,green), Hs),
   * member(h(dane,_,_,tea,_), Hs),
   * next(h(_,_,_,_,green), h(_,_,_,_,white), Hs),
   member(h(_,_/*bird*/,'Pall Mall',_,_), Hs),
   member(h(_,_,'Dunhill',_,_/*yellow*/), Hs),
   * Hs = [_,_,h(_,_,_,milk,_),_,_],
   * Hs = [h(norwegian,_,_,_,_)|_],
   * next(h(_,horse,_,_,_), h(_,_,'Dunhill',_,_), Hs),
   next(h(_,_,blend,_,_), _/*h(_,cat,_,_,_)*/, Hs),
   member(h(_,_,'Blue Master',_/*beer*/,_), Hs),
   member(h(_/*german*/,_,'Prince',_,_), Hs),
   * next(h(norwegian,_,_,_,_), h(_,_,_,_,blue), Hs),
   next(h(_,_,'Blend',_,_), _/*h(_,_,_,water,_)*/, Hs),
   * member(h(_,fish,_,_,_), Hs).

next(A, B, Ls) :- append(_, [A,B|_], Ls).
next(A, B, Ls) :- append(_, [B,A|_], Ls).

剩下的不多了!可见部分至少有一个错误! (而且，严格来说，其他部分可能还有更多错误。我们根本不知道)。