2
私はPrologを初めて使っています。私はPrologでアインシュタインの謎のような謎をモデル化しようとしています（ただし、10の家と30のヒントがあります）。このモデルの例を使用しています出発点として：アインシュタインの謎
http://www.baptiste-wicht.com/2010/09/solve-einsteins-riddle-using-prolog/
しかし、私の謎に、私はXがYの権利であると言うことができるようにしていると私は直接、右を意味するものではありませんが、リスト内の右側。だから、Yは家1に、Xは家9にいる。
私はこれをPrologでどうやって行うことができますか？私は、YがそのリストからXの前にあるすべての要素とXを取って作られたリストのメンバーだと言う述語について考えていましたが、それをどうやって行うかわからない前述の例。