在 Prolog 中解决逻辑难题 [关闭]

我正在阅读“立即学习 Prolog”，其中我自己无法解决的练习之一如下：

有一条街，有三 邻近的房屋都有一个 不同的颜色。它们有红色、蓝色、 和绿色。不同的人 不同民族生活在不同的地方 房子都有不同的 宠物。以下是更多有关的事实 他们：

• 英国人住在红房子里。
• 美洲虎是西班牙家庭的宠物。
• 日本人住在蜗牛饲养员的右边。
• 蜗牛饲养员住在蓝色房子的左边。

谁养斑马？

定义谓词zebra/1这告诉你斑马主人的国籍。

提示：想象一下房屋和街道的表示。在 Prolog 中编写四个约束的代码。member and sublist可能是有用的谓词。

有什么想法如何在 Prolog 下编码吗？谢谢。

neigh(Left, Right, List) :- 
        List = [Left | [Right | _]];
        List = [_ | [Left | [Right]]].

zebraowner(Houses, ZebraOwner):-
        member([englishman, _, red], Houses),
        member([spanish, jaguar, _], Houses),
        neigh([_, snail, _], [japanese, _, _], Houses),
        neigh([_, snail, _], [_, _, blue], Houses),
        member([ZebraOwner, zebra, _], Houses),
        member([_, _, green], Houses).


zebra(X) :- zebraowner([_, _, _], X).