問題タブ [water-jug-problem]

私はプロローグに不慣れで、水差しについてのプログラムを書かなければなりません。私の問題は、水差しの初期状態とクエリの形成に関するものです。クエリの形式は次のとおりです。

意味j1は1ガロンの水で満たされています。j1は水差しの1つを表します。もう1つはj2です。最初に、私は持っています

以下の情報を提供していただければ幸いです。

質問A：プログラム内でj1の初期状態を宣言する必要がありますか？filled(j1,0)

質問B：プログラムにfilled（j1,1）の解決策を見つけさせる必要があります。そのために私はいくつかのアイデアを持っていますが、私が確信していないのは、クエリとからfilled（J、Volume）を更新する方法 myPredicateです。

私は初期状態を持っているので非常に混乱しています、filled(j1,0)そして今私はでを作成しなければなりませfilled(j1,1)んmyPredicate。したがって、何らかの形式のfilled(J,Volume)inが必要なmyPredicateので、クエリはfalseではなくtrueを返します。

上記のクエリを実行したときに正しい答えを表示できるように、filled(J,Voume)内部に組み込むにはどうすればよいですか？myPredicate

水差しの問題です。大きい方のバケツには 5 個、小さい方のバケツには 3 個入ります。大きい方のバケツには 4 個入りたいです。

問題は、実行すると答えが得られず、エラーが発生することです。明らかなエラーのようには見えません。アルゴリズムは単純で直接的です。

何が問題なのかを見つけるのを手伝ってくれる人はいますか?

このコードで「go」を使用しても真の答えが得られない理由を誰かが見つけることができますか？たとえば、私が書いgo(7,3,l)たところ、3リットルの水を2番目の水差しに移動する必要があると思いますが、プロローグによれば、それは誤りです。どうしたの？

私は3つの水差しの水問題を解決する必要がありますが、少しトリックがあります。アルゴリズムを使用する必要はありませんが、ユーザーが水差しから別の水差しにリットルを移動できるようにする「関数」があります。彼によっても。

たとえば、彼はinitial（10,0,0,0、r）を書き込み、最初の状態は最初の10リットルで、他の2つはゼロです。また、final（0,3,3,3、l）とfinalを書き込みます。状態は、2つの小さい水差しに3リットル、最初の水差しにゼロがあります。

水差しの間の「移動」は、彼がgo（7,3、r）と書いたときに発生します。ここで、彼は3リットルを右に移動します（右から左に、水差しは大きくなり、小さくなります）。は残りのリットル、3は移動するリットル、rは方向です-。

そして、私はこのプロローグコードを書きましたが、すべてのgo-stateはfalseです。

こんにちは、if文に問題があります。私はこれを持っています

そしてこれ

どうすればこのチェックができますか????:

前もって感謝します！！

だから私はその水差しの問題を解決する必要があります - 大きなカップには5つ、小さなカップには3つ入ります。大きなカップには4つ入れたいです。

私は BFS alogirtam のソースを持っていますが、述語移動を作成する方法がわかりません...

この水差しの問題を解決する必要があり、深さ優先アルゴリズムで解決する必要があります。私は 4 ガロンと 3 ガロンの 2 つの水差しを持っていますが、どちらにもマークはありません。4 ガロンの水差しに正確に 2 ガロンの水を入れるにはどうすればよいですか? 最初は両方の水差しが空です。

ルールは次のとおりです。

初期開始事実: jugs(0,0) ゴール: jugs(2,0) または jugs(0,2)

前もって感謝します！

私は swi-prolog で 2 水差しの問題を解決しようとしています: 容量がそれぞれ 4 ガロンと 3 ガロンの 2 つの水差しがある場合、容量 4 と 0 の水差しで 2 ガロンを取得する手順を見つけたいと思います。

bfs と dfs の両方を使用して C++ でこの問題のプログラムを作成しました: http://kartikkukreja.wordpress.com/2013/10/11/water-jug-problem/。今、私はプロローグで問題を解決しようとしています。私は言語にまったく慣れていないので、コードが終了しません。

これまでのコードは次のとおりです。

どんな助けでも大歓迎です。

これは私にとって初めてのことであり、これに関する投稿が既にあることは知っていますが、私が想定しているコーディング方法とは異なるようです。私は答えが間違っているだけです。

入力します :solve(0,0). 結果はfalse.

コード。

どんな助けでも大歓迎です。ありがとう。