Prologで解くZebraPuzzle

Prologで研究を始めた初心者Prologerです．

ZebraPuzzleを解こう

きっかけはこちらの記事
Prolog実践入門 - AIに特化した老舗言語
Prolog界に足を踏み入れようとして，一番最初に拝見させていただいた記事でした
力も多少ついてきたということで，本格的なZebraPuzzleにチャレンジ！

ZebraPuzzleとは

参考：ZebraPuzzle
自力で解けるのは世界人口のうちわずか2%という問題らしいです，ぼくは残念ながら解けませんでした…
rscの日記：Zebra PuzzleをPythonで解いてみた。
rscさんがPythonで特にあたってルールの日本語訳を載せております．参考にさせていただきました
これらのルールをPrologで落とし込んでいきます

表現方法

house(color, country, animal, drink, smoke)

colorで色，countryで国籍，animalでペット，drinkで飲み物，smokeでタバコの銘柄を表現しております
ここから既存の関数をもとに，いくつか関数を追加しました．以下関数説明で述べていきます

関数説明

neighbor

隣の家かどうかを判定する関数
左右どちらにいるかを確認できる

neighbor

neighbor(L,R,[L,R|_]).
neighbor(L,R,[_|Xs]) :- neighbor(L,R,Xs).

neighborx

neighborのより抽象的なもの
左右どちらでも通る

neighborx

neighborx(L,R,Xs) :- neighbor(L,R,Xs).
neighborx(L,R,Xs) :- neighbor(R,L,Xs).

drip

述語houseから要素を取り出す

drip

drip(color,  house(Color,_,_,_,_),  Color).
drip(country,house(_,Country,_,_,_),Country).
drip(animal, house(_,_,Animal,_,_), Animal).
drip(drink,  house(_,_,_,Drink,_),  Drink).
drip(smoke,  house(_,_,_,_,Smoke),  Smoke).

そうしてできたものがこちら

ZebraPuzzle

zebra.pro

neighbor(L,R,[L,R|_]).
neighbor(L,R,[_|Xs]) :- neighbor(L,R,Xs).

neighborx(L,R,Xs) :- neighbor(L,R,Xs).
neighborx(L,R,Xs) :- neighbor(R,L,Xs).

drip(color,  house(Color,_,_,_,_),  Color).
drip(country,house(_,Country,_,_,_),Country).
drip(animal, house(_,_,Animal,_,_), Animal).
drip(drink,  house(_,_,_,Drink,_),  Drink).
drip(smoke,  house(_,_,_,_,Smoke),  Smoke).

zebra(X,Y) :-
  Street = [H1,H2,H3,H4,H5],
    member(house(red, english, _, _, _), Street),
    member(house(_, spanish, dog, _, _), Street),
    member(house(green, _, _, coffee, _), Street),
    member(house(_, ukurina, _, tea, _), Street),
    member(house(_, _,snail, _, oldgold), Street),
    member(house(yellow, _, _, _, kools), Street),
    member(house(_, _, _, orange, luckystrike), Street),
    member(house(_, japanese, _, _, parliaments), Street),

    neighbor(house(white,_,_,_,_), house(green,_,_,_,_), Street),

    neighborx(house(_,_,_,_,chesterfields), house(_,_,fox,_,_), Street),
    neighborx(house(_,_,_,_,kools), house(_,_,horse,_,_), Street),
    neighborx(house(_,norwegian,_,_,_), house(blue,_,_,_,_), Street),

    drip(drink, H3, Milk), Milk = milk,
    drip(country, H1, Norw), Norw = norwegian,

    member(house(_,X,_,water,_),Street),
    member(house(_,Y,zebra,_,_),Street).

main :- zebra(X,Y).

※ (2017/06/12 修正 suharahiromichiさんありがとうございました)

結果

結果

?- zebra(X,Y).
X = norwegian,
Y = japanese

うまくでてきました！

考察

whereの直前まではうまく通っているのですが，writeしてみるとMilk == milkに引っかかるものが一つもない状態です
neighborxが原因でしょうか
進捗がで次第，追記をしていきます
(2017/06/12 追記) suharahiromichiさんのアドバイスから，typoと==の使い方が間違っていることがわかりました．ありがとうございました