問題タブ [prolog-toplevel]

次のように作成されたリスト L があります。

ここで、メンバー関数を使用して L 内のアトムを検索します。私は試した ：

ここで私が間違っているのは何ですか？

だから私は取り組んできたエクササイズに行き詰まっています。私は次の事実を持っています：

これが意味することは、appleseed1 が appleseed0 から来た、apple1 が appleseed0 から来たなどということです。私が抱えている問題は、値が入れ替わった場合に false を出力する必要があることです。つまり、クエリの結果が「true」の場合は「true」になり、クエリseed(appleseed0, apple1)が逆の順序の場合は「false」になりますseed(apple1, appleseed0).

現在、私の述語は次のようになっています。

これが、順序に関係なくクエリが true を返す理由であることを理解していますが、他の唯一のアイデアは次のとおりです。

しかし、そのように書くと、false のない無限ループになってしまうため、そのように書くことはできません。seed(appleseed2, apple2)のようなもので表示されたときにクエリが「true」になり、のようなもので表示されたときに「false」になるようにするにはどうすればよいseed(apple2, appleseed2)ですか?

SWI-Prolog クエリから出力を 1 つだけ取得するにはどうすればよいですか? カット ( !) を使用してみましたが、うまくいかないようです。

例：私はすでに自分の知識ベースをステートメントで満たしていて、女性であり、誰かの母親である名前を見つけたいと思っていました。

私はすでに試しました：

...しかし、それは私にすべてを与えX-__ますY-__

私も試しました：

...しかし、それでもX-__との両方が得られますY__

を見つけたいだけですX。どうにかして1つだけ入手するためのヒントはありますか？

少し問題が発生しました。必要な値を「返す」Prologクエリを取得しましたが、2番目の値としてtrueまたはfalseを返したいです。私の他のクエリはすべて正常に機能しますが、これは機能しません。

それは私が得るものです：

それだけが必要：

あなたが私を助けてくれることを願っています。ありがとう！

編集：

プロローグ コード: ナレッジ ベース内のすべての機能構造レコード (プロローグ [属性:値、属性:値、...] でリストとして表される) を検索し、OldEvent または OldEvent よりも大きい最小のレコードを「返します」それより小さい値がない場合。

OldEvent がない場合 (OldEvent の値は「unknown」)、最新のフィーチャ構造レコードを取得します。

どちらにも満足できません。通常の文字列かリストかOldEvent = "unknown"を確認するにはどうすればよいですか?OldEvent

私は SWI-Prolog を使用しており、私が書いたいくつかの述語を実行しようとすると、答えの最後に自動的にピリオドが置かれ、次の行にまっすぐ進みます。Enterキーを押すか、自分でフルストップを置く必要がある人もいます。どうしてこれなの？

これは、Enter キーを押すか「.」を「手動で」押す必要がある例です。最後に、';' を押しても false を返します。しかし、なぜ false を返すのかわかりません。