問題タブ [instantiation-error]

私は Prolog を初めて使用し、クエリ sortedUnion([1,1,1,2,3,4,4,5], [0,1,3,3,6,7], [0,1,2,3,4,5,6,7]). を実行するとエラーが発生します

だから、誰かが私のコードのどこが間違っているのか、なぜ間違っているのか教えてくれることを願っていますか?

Prolog を使用して戦艦のパズルを解かなければならない課題があります。私の現在の解決策は、フィールド全体に行き、現在の座標にボートを配置します。ボートの一部がそこに許可されていない場合 (与えられたボートのピースの合計だけを見ています)、水を配置します。

上の行はあなたが呼ぶものです。最初の引数は~for water と_for unknown のフィールドで、それ以外はすべてボートの一部です。2 番目の引数は、各列のボートのピースの合計です。3 番目の引数は同じですが、行についてです。4 番目の引数はボートのサイズで、最後の引数は結果を格納する場所です。

このように問題を解くと、右上隅から始まり、左下に移動してフィールドが埋められます。ただし、スタックしたためにバックトラックが必要な場合は失敗します。この例を使用すると、間違っxた位置に配置され(0,3)ます。列の終わりに到達すると、別のボートを見つけ、何かがおかしいことに気づきます。彼女は私たちが置いた場所に戻りxます。そこに配置する必要~がありますが、代わりに次のように表示されます。

私は Prolog の基本的な知識しか持っておらず、何が問題なのかわかりませんでした。

質問がある程度明確になることを願っています。

プロローグでの二次方程式の実装に問題がありました。私はいくつかの基本を知っていますが、同じ時点で swish.swi コンソールの出力を理解できません。私のエラーに関するあなたの側からの助けや提案をいただければ幸いです。

実行後に2つのエラーが発生しますequation(2, 0, 1, X).

私はプロローグに非常に慣れていないので、チェス盤の騎士が別の正方形にジャンプできるかどうか、または与えられた正方形に騎士がジャンプできるすべての正方形を出力できるかどうかを判断する簡単な方法を作成しようとしています。このメソッドでは、最初の引数を常にインスタンス化する必要があると想定しています。両方のパラメーターを指定すると正しく動作しますが、指定されたパラメーターのみを出力しない理由がわかりません。

私が言ったように、私は Prolog に非常に慣れていないので、クエリをどのようにフォーマットすればよいかよくわかりません。このクエリは誤りです。

助けてくれてありがとう。

そのため、Prolog を使い始めたばかりで、Singleton 変数 (Quo、C) と Argumnets が実質的にインスタンス化されていないというこのエラーが発生し続けています。

ここでは、2 つの数値の除算の商を求める簡単なコードを作成します。

私は Prolog の新しいユーザーです。マップの座標をスケーリングおよび変換しようとしていますが、スケーリングと変換 RULEで「十分にインスタンス化されていません」というエラーが発生しました。これが私のルールです。引数が十分にインスタンス化されていないようです。この問題を解決する方法を教えてください。問題は、「IS」演算子を使用するスケールと変換ルールにあります