問題タブ [zebra-puzzle]

Prolog を使用して、次のキャリバンの問題を解決しようとしています。

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

このコードをオンラインで見つけて、自分で実行しようとしています:

>/2: Arguments are not sufficiently instantiatedしかし、?-solutions(L) で実行すると取得し続けます。

誰でもこの問題の解決策を持っていますか?

タスク: ユニコーンは、月曜日、火曜日、水曜日に嘘をつき、それ以外の曜日はすべて真実を語ることで知られています。彼は次のように言うことができます。明日から二日連続で嘘をつきます。」 会話の日を決定します。

コードをスケッチしましたが、ユニコーンが 2 日連続で嘘をついたと言う方法がわかりません。コードを修正してください。よろしくお願いします。

私はPrologが初めてで、正しい方向に進むためにいくつかのガイダンス*（回答ではない）が必要です。まず、論理パズルを解こうとしています。ロジックにはトリプルがあります。次のような否定とメンバーを作成する方法を知っています。

私が立ち往生していて、Prologをよく理解していないのは、関係に基づいて(不等式を使用して)メンバーを比較する方法です。たとえば、X は Y よりも遅く食べられました。

だから私は試しました

しかし、それはうまくいかないようですか？

ご指導ありがとうございました！