Prolog Floor难题

Question

贝克、库珀、弗莱彻、米勒和史密斯住在一座五层的楼房里。贝克不住在五楼，而库珀住在一楼。弗莱彻既不住在楼顶也不住在楼底，他也不在史密斯或库珀旁边的楼层。米勒住在库珀上面和4楼下面的某个楼层。谁住在几楼？

因此，对于下面的问题，我尝试这样设置它

floor(1).
floor(2).
floor(3).
floor(4).
floor(5).

house(B,C,F,M,S) :-
   floor(B),
   floor(C),
   floor(F),
   floor(M),
   floor(S),
   B<5,C>1,F>1,F<5,M>C,M<4.

现在你可以看到，我不知道如何表示F和相邻楼层的部分，而且我只能猜测，我需要说的是，每个楼层不相等，所以我不会让人们住在同一楼层。

Answer 1

我解决了这个问题，所有的条件都是由教授给出的，但是她犯了一个逻辑错误，如果你手工做这道题，你会得到5|S4|F3|M2|C1|B，因为你可以看到，如果你按照规则去做，最后S可以存在的唯一阶段是5楼，但这不符合其中一个规则，所以我会告诉教授，她犯了一个错误，就prolog代码而言，我是这样做的

floor(1).
floor(2).
floor(3).
floor(4).
floor(5).
fadjacent(X,Y):- X \= (Y + 1) ,X \= (Y - 1).
%fadjacent(X,Y):- X \= Y - 1.





house(B,C,F,M,S) :-
floor(B),
floor(C),
floor(F),
floor(M),
floor(S),
B<5,C>1,F>1,F<5,M>C,M<4,fadjacent(F,S),fadjacent(F,C),B\=C,B\=F,B\=M,B\=S,
    C\=B,C\=F,C\=M,C\=S,F\=B,F\=C,F\=M,F\=S,M\=C,M\=F,M\=B,M\=S,
    S\=C,S\=F,S\=M,S\=B.

这就产生了一个我想要的答案，除了那一个错误。