問題タブ [unification]

私は、A *の反復で可能なすべての継承状態を見つけて、それらを[（cost、state）、...]のようなリストに入れるための述語を書いています。これは、現時点では次のようになっています。

Addはリストの最後に何かを追加し、membはリストの（インデックス）番目の要素を取得します。私はそれらが機能することを知っています、そして私が一番下の述語のL2を見るとき、私はこのようなものを手に入れます

[（1500、3）、（3670、4）]リストは、Xを呼び出した後のリストであるため、非常に苛立たしいものです。

どうすればこれを修正できますか？

これが C# で許可されていないのはなぜですか? 代替テキスト http://img706.imageshack.us/img706/7360/restriction.png

本当は書けるようになりたい

ここでは実際に統一が望まれます。A = B の場合は、メソッドを 1 つだけ定義する必要があります。

これがプログラミングの質問の一部にすぎないことはわかっていますが、現在、ロジック プログラミングを少しやっています。私がまだ正しく理解していないことの 1 つは、一次論理の統合です。

ウィキペディアの記事を読んだところ、目的が 2 つの文を統一する用語を検索することであることは多かれ少なかれ明らかです。A、B、Cなどの代わりに、実世界のオブジェクトの例を誰か挙げることができますか? これが理解に役立つことを願っています。ありがとう

プロローグでは、次のようなことができます。

つまりmyFunction、の最初の引数が2番目の引数にあるリストの最初の項目と同じである場合、この関数はに評価され...ます。

私の質問は...Haskellで同様のことをどのように達成するかです。私は、PrologのパターンマッチングがHaskellのパターンマッチングよりも表現力に富んでいると考えています。私はHaskellでそれをコーディングしようとしていて、問題が発生しています-無効な構文を使用しているか、上記のトリックではうまくいきません。

次のルールがあるとします。

そして、次のように実行します。

testSWI-Prolog が と の両方を'test'に統一するのはなぜunify('test', 'this is a test').ですか? SOに関するPrologの質問に答えているときに、これに遭遇しました。私はその人の質問に答えることができましたが、この特定の行動を説明することはできませんでした。

私は楽しみのために (Java で) 統合アルゴリズムを使用するアプリケーションを開発しています。

私は、統合アルゴリズムが可能なすべての統合を返すことを選択しました。たとえば、私が解決しようとすると

add(X,Y) = succ(成功(0))

それは返す

{X = 成功 (成功 (0))、Y = 0}、{X = 成功 (0)、Y = 成功 (0)}、{X = 0、Y = 成功 (成功 (0))}

ただし、場合によっては、可能な統合が無数に存在する場合があります (たとえば、X > Y = true)。

無限の数の統合が発生する可能性があるかどうかを判断できるアルゴリズムを知っている人はいますか?

前もって感謝します

私のクラスの古い決勝戦から：

ここにいくつかのプロローグコードがあります:

問 1: P で統一されている値は何ですか?

質問 2: Prolog がミステリーを生成して回答した後にセミコロンが押された場合、インタープリターは最終的に "ERROR: Out of local stack" を報告します。このエラーが発生する理由と、エラーを回避するためにミステリーを変更するにはどうすればよいですか?

質問 1: わかった

質問 2: セミコロンを押してすべての回答を取得すると、out of local stack エラーが発生します。このコードが何を達成しようとしているのか、またはそれを修正する方法がわからないので、ローカルスタックから出ません。何か案は？

Scala や Haskell に見られるようなパターン マッチングと Prolog に見られる統合との違いは理解できたと思いますが、Prolog に対する私の誤解は大きいです。一方では解決でき、他方では解決できないいくつかの単純な問題は何ですか? ありがとうございました

少し奇妙に聞こえるかもしれませんが、私の質問は「統一アルゴリズムとは」です。さて、私は F# で Prolog のように動作するアプリケーションを開発しようとしています。一連の事実を取得し、クエリを作成するときにそれらを処理する必要があります。

優れた統合アルゴリズムの実装を開始するように提案されましたが、これについての手がかりがありませんでした。

私がやりたいことをもう少し深く知りたい場合は、この質問を参照してください。

どうもありがとうございました。メリークリスマス。