1
wikipediaによると、プロローグはSLD Resolutionを使用しています。 core.logicでの解決を推進する主なアルゴリズムは何ですか？どのアルゴリズムが解決のためにclojureのcore.logicを使用していますか？
A
答えて
2
core.logicは効果的にminiKanrenです。ここでの比較：
それとも別のここでの説明：
+0
ありがとう、この比較は、彼らがどのように動作するかを学び、論理と定理証明に必要な読取り値を計算するための素晴らしいウィンドウを提供します。 – matanster
関連する問題
- 1. 特定のファイルセットのコンパイル順を解決するためにどのアルゴリズムを使用しますか？
- 2. Clojureのcore.logicでのゴールオーダー
- 3. これを解決するためにどのようなアルゴリズムを使用しますか？
- 4. Clojureでのツリー検索core.logic
- 5. Clojureの大きなプログラムでは、core.logicを実用的な方法でどのように使用しますか？
- 6. Clojure core.logicでは、なぜスレッド化マクロを使用できないのですか？
- 7. Clojure core.logicの[：a：A] [：b：B] [：c：C]]から[：b（lvar）]を削除するにはどうしたらいいですか？
- 8. ゲームを解決するためのアルゴリズム「Pop it」以上のステップ
- 9. pythonのsorted（）はどのアルゴリズムを使用していますか？
- 10. Sassが@import文を解決するために使用するアルゴリズムとは何ですか？
- 11. 人の属性に基づいてクラスタリングするためにどのようなアルゴリズムを使用しますか？
- 12. PRISMは解決するためにタイプを使用する工場とのインターフェイスを解決します
- 13. clojure - 内部のシンボルを解決する
- 14. 単純なマッチング機能を行うためにcore.logic使用
- 15. RDBMSはどのアルゴリズムを使用していますか？
- 16. table.sortはどのアルゴリズムを使用していますか？
- 17. アラートを使用したデバッグはどのように解決できますか？
- 18. 解決のためのどのデータ型
- 19. 生涯変数を推定するためにRustコンパイラはどのアルゴリズムを使用していますか？
- 20. Cazeの迷路解決アルゴリズム
- 21. 重複を避けるためにどのアルゴリズムがSetで使用されていますか？
- 22. firebaseがdatasnapshot.haschild（）の後ろでどのアルゴリズムを使用していますか？
- 23. 解決するためにどのようにインデックスが
- 24. Pythonの検索アルゴリズムを使用して3つの狼と3つの羊のパズルを解決します
- 25. Clojure core.logicすべての述語を満たすすべてのメンバーを見つけるか？
- 26. WCFがIPアドレスの代わりにコンピュータ名を使用しているため、解決できません。
- 27. PHPを使用したクロスオリジンエラーの解決？
- 28. はオクターブにシンボリック解決私は方程式を解くために、次のOCTAVEコマンドを使用していMATLAB
- 29. PHPでMVCパターンを使用してタスクを解決するためのガイダンス
- 30. DFSまたはGreedy BFSを使用して解決策を解決しましたか？
あなたがソースを見ていましたか？ – Carcigenicate
はい。あなたが貢献するものがあれば、恥ずかしがり屋ではない。 – matanster
@falseこの質問は重複していません。それは比較のためではなく、それがどのように機能するかを尋ねます。これまでの最善の答えはあなたを比較に導きますが、比較しても必ずしも最大限の答えが得られるわけではありません。 – matanster