問題タブ [prolog]

PrologとC＃を統合するための素晴らしい（そしてできれば無料の）方法を知っている人はいますか？

マネージコードから呼び出すPrologdllなどを作成し、すべての処理が完了したら回答を取得しようとしています。私はそれが主に片側であることを探しています（c＃はPrologを呼び出します）。

私はPrologsの実際の使用法について話しているこの質問を見ましたが、誰かがc＃とPrologのどちらかを経験したことがあるかどうか疑問に思いましたか？または素敵なチュートリアル/記事？

ロジック プログラミングとは、宣言型プログラミング言語のサブパラダイムを意味します。この質問を「if-then-else で解決できる問題は何ですか?」と混同しないでください。

Prolog のような言語は非常に魅力的であり、学習のために学習する価値はありますが、現実世界の問題のどのクラスがそのような言語で最もよく表現され、解決されるのか疑問に思う必要があります。もっと良い言語はありますか？論理プログラミングは、より流行のプログラミング言語で別の名前で存在しますか? 答えの冷笑的なバージョンはPython Paradoxの変形ですか?

たとえば、次のようなクエリを作成するとbetween(1,4,X)?、X=2, X=3. これは可能ですか？

クラス用にいくつかの Prolog プログラムを作成する必要があります。

推奨事項はありますか？

私はプロローグの初心者レベルのコースにいて、地図の色付けの問題をやっています。これが私のコードです。

私の出力は次のようになります。

末尾の変数を取り除く方法を知っている人はいますか? ほとんどが化粧品であることは知っていますが、なぜそこにあるのかわかりません。

私は現在、Prolog で非常に短いプロジェクトに取り組んでおり、作成した「フィルター」をリストに適用しようとして行き詰まりました。フィルターの準備はできていますが、適用できません。私が説明した方が良いでしょう：

...特定の条件が満たされた場合に「true」を出力します。

...フィルタ出力をfalseにする 2 番目の引数からのすべての要素を含むリストを出力します。(したがって、filter(A, X) が true の場合、出力は [Y, Z] になります)。

「フィルター」関数の準備ができましたが、最初の引数を適用したときにフィルターが true を返すすべての要素を除外して、2 番目の例に示すようにリストに適用する必要があります。

したがって、フィルターが単純な A == B の場合、関数は A [A,B,A,C,D,A] を受け取り、[B,C,D] を出力することになっています。明らかに、フィルターが適用されます。

関数の基本構造に問題があるので、誰かがこのような関数の基本的な概要を提供できれば、非常に役に立ちます。私は自分の状況を可能な限り単純化したので、あなたが提供できるものは何でも取り、私のニーズに合わせて変更することができます.

前もって感謝します！

単純な二分木だけで、最大のノードを見つけたいです。
ツリーの例: t(t(t(nil,1,nil),2,t(nil,3,nil)),4,t(t(t(nil,8,nil),5,nil),6, t(nil,7,nil)))

プロローグに適用することに頭を悩ませることはできません。ここでは、各ノードを表示します。どちらが得られますが、最大値を保存して再帰的に保持する方法がわかりません。

編集: すべてのリーフ ノードをチェックしますが、t(nil,8,nil) は無視します

現在の条項データベースに特定の条項 (事実または規則として) が存在するかどうかを確認する必要がある大学の課題に取り組んでいます。

アイデアは、ヘッダーが verify(+name, +arguments) であるルールを使用することです。データベースに name(arguments) をヘッドとする別のルールが存在する場合、このルールは true になります。

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

リストのリストを持つ関数を作成しようとしています。これは、内側のリストと外側のリストの合計を乗算します。これまでのところ、リストを合計できます。X = (結果) を返す関数 sumlist([1..n],X) を作成しました。しかし、別の関数をその関数で有効に動作させることはできません。 is と = の両方を試しましたが、役に立ちませんでした。

私は機能を持っています

呼び出しの例はsublist(2,[1,2,3],Z). 実行の最後に「はい」とだけ返されますが、Z の内容を確認したいと思います。

同様のことを行う他の命令があるので、それは簡単なことだと思いますが、これは機能していません。