問題タブ [instantiation-error]

次の問題があります。

a1 = ...、a2n+1 = 0 および |a(i+1) - ai| となる、長さ 2*n+1 のすべての部分文字列を生成します。1 <= i <= 2n ごとに = 1 または 2。これはスタック オーバーフローでここで見つけたものですが、ソリューションでは clpfd ライブラリが使用されており、どのような種類のライブラリも使用することは許可されていません。

上記のコードはすべて正しく動作します (テスト済み)。しかし、genAll の次のコードでは、引数が十分にインスタンス化されていないというエラーが発生します。

何が悪いのかわかりません。

ターミナルを介して Mac で SWI-Prolog を実行しています。ターミナルで swipl を開いた後、通常の書き込みで Atom ファイルにアクセスしようとしています。

遊ぶためのナレッジベースを持っているswiplの代わりに、それは私にこれを与えています:

私は Prolog の初心者であり、現在の私のプログラムは、割り当てを開始するために教授から提供されたコードをコピーして貼り付けただけです。これは、エラーが以下のコード内の何かに起因する可能性が高いことを意味しますか?もしそうなら、これを引き起こしているのは何ですか? これが私に提供されたコードです：

ECLiPSe の下で CSP に問題があります。TWO で表される数が 2 で割り切れることを要求する制約を暗号文に追加したいと考えています。

ご協力いただきありがとうございます。

私のコード:

こんにちは、入力ファイルから特定の文字を見つけてその位置を出力するコードを作成しようとしていましたが、「私が見つけた同様の問題の助けを借りて」出てきたものです

ただし、コンパイラは次のエラーをスローします: エラー: is/2: 引数が十分にインスタンス化されていません

リストの最小値を見つける私の実装です：

なぜこのエラーが発生したのか理解できません。説明していただけますか？

プロローグで a+1 の二乗と a の二乗が 2a+1 の違いを見つけたいです。このため、次のようなコードを書きました。

で試してみました

誰でもこの問題で私を助けてください。

http://www.zweigmedia.com/RealWorld/tutorialsf4/framesLinProGr.htmlで最初の線形計画問題の例を解決しようとしています。X と Y はゼロまたは正数で、合計は 50 まで、2X+Y は 60 までです。関数 X+3Y は最大化する必要があります。

私は次のコードを使用しています：

ただし、読み込まれません (上記のエラーが表示されます)。

次のコードで：

プログラムはロードされますが、実行中:

これらのエラーを修正するにはどうすればよいですか?