問題タブ [zebra-puzzle]

Prolog を使用してアインシュタインのなぞなぞを解こうとしています。タスクは

1. ノルウェー人は最初の家に住んでいます。
2. イギリス人はレッドハウスに住んでいます。
3. スウェーデンはペットとして犬を飼っています。
4. デンマーク人はお茶を飲みます。
5. グリーンハウスはホワイトハウスの左側にあります。
6. 温室に住む男はコーヒーを飲む。
7. ポール・モールを吸う男は鳥を飼っている。
8. イエローハウスに住む男性はダンヒルを吸っている。
9. ミドルハウスに住む男は牛乳を飲む。
10. Blends を吸う男は、Has Cats の隣に住んでいます。
11. 馬を飼う男は、ダンヒルを吸う男の隣に住んでいます。
12. ブルーマスターを吸う男はビールを飲む。
13. ドイツ人はプリンスを吸う。
14. ノルウェー人はブルーハウス側の隣に住んでいます。
15. ブレンドを吸う男は、水を飲む人の隣人です。
16. 誰かが魚の入った水族館を持っています。

プログラム：

私の投稿の最後のコードは、次のパズルに答えるはずです:

ブラウン、クラーク、ジョーンズ、スミスは、必ずしもそれぞれではありませんが、技術者、銀行家、医師、弁護士としてコミュニティに奉仕する 4 人の実質的な市民です。ジョーンズより保守的だがスミスよりリベラルなブラウンは、彼より年下の男性よりもゴルフが上手で、クラークより年上の男性よりも収入が多い。建築家より稼いでいる銀行家は、最年少でも最年長でもない。

医者は弁護士よりもゴルフが下手ですが、建築家ほど保守的ではありません。予想通り、最年長の男性が最も保守的で最も収入が多く、最年少の男性が最高のゴルファーです。それぞれの職業は？

コード：

しかし、実行するとfalseが返されます！

誰か助けてくれませんか？

私はプロローグが初めてで、このパズルの問題を解決しようとしています。プロローグの基本についてYouTubeでいくつかのチュートリアルを行いましたが、以下のパズルを解くのに助けが必要です.

2 週間前、4 人の愛好家が近所で空に物体を目撃しました。4 人はそれぞれ別の日に目撃情報を報告しました。FBI が来て、「本当に」見たものについて、各人に異なる説明をすることができました。各人がオブジェクトを目撃した日 (火曜日から金曜日) と、それが判明したオブジェクトを特定できますか?

1. K氏は気球を見た人より週の早い時期に目撃したが、凧を見つけた人(Gさんではない)よりは週の後半に目撃した。
2. 金曜日の目撃情報は、バーンさんか飛行機を見た人 (またはその両方) によって行われました。
3. ニック氏は火曜日に目撃しなかった。
4. 物体が電柱であることが判明したのはK氏ではありません。

ルールを正しく設定しましたが、ロジックをダウンパックできないようです。直接的な回答ではなく、ガイダンスを探しています。右端に、答えようとしている各質問の番号をリストしました

プロローグでこのなぞなぞを解決したい:

生徒のリリー、ジャック、デイジーは同じ大学に通っています。みんな違う国から来て、違う趣味を持っています。彼らは全員、アメリカの大学に通っており、そのうちの 1 人はそこに住んでいます。リリーはイタリア出身のリリーよりも成績がいい。ジャックは本を読むのが好きな人より成績がいい。最高の成績にはサッカーが好きな人がいます。ジャックはドイツ出身で、デイジーは料理が好きです。

誰（名前、国、趣味、成績）は誰？

正しい解決策は次のとおりです。

• リリー、アメリカ、本を読む、2 年生
• ジャック, ドイツ, フットボール, 1 年生
• デイジー、イタリア、料理、3 年生

私が今抱えている問題は、このなぞなぞをどのように解決できるかわからないことです。事実をどのように定義すればよいですか?また、なぞなぞを解決する最善の方法は何ですか?