minikanren

6熱

1答えて

ここにはしばらくの間執着してきた（うまくいけば）シンプルな論理プログラムがあります。私はDAGをcore.logicにエッジリレーションで表しています。親ノードのリストを生成するとき、グラフに「ダイヤシェイプ」があると重複してしまいます。この場合、親のリストを生成する方法はありませんか（parentoなどを書き換えて）？ (defrel edge a b) (fact edge :a :b)

7熱

2答えて

なぜminiKanrenの名前は常に `o`で終わるのですか？

すべてのminiKanrenの関係は、oという文字で終わります。これの動機は何ですか？ Clojure core.logicライブラリでもこれが行われています。の序文推論スキーマーで

16熱

2答えて

core.logicの '外部結合'をシミュレートする方法は？

私はcore.logicで遊んで始めました。私は現在、専門的に取り組んでいる問題に似た単純なものを実装しようとしています。しかし、問題の一部が私を困惑させてしまった... 私の例の単純化として、私はアイテムのカタログがあり、それらのいくつかは特定の国でのみ利用可能であり、一部は特定の国では利用できない各国。私は、項目のリスト、および例外のようなものを指定できるようにしたいと思います： (defre

2熱

1答えて

論理プログラミングで何度も更新を処理する必要がありますか？

特に私は、次のタイプの問題を解決するための最良の方法を決定しようとしています。私が興味を持っている例は、Mitchell's Machine Learningの4つのトレーニング例に適用されたfind-sアルゴリズムです。基本的な考え方は、各訓練例xと仮説hについて、hをより一般的にすることによってxを組み入れたかどうかを決定することです。トレーニングセットの各xについてhをh 'に写像する必

5熱

1答えて

なぜcore.logicの出力が同じ値を返すのですか？

は私が[1 4] [1 5] する結果を期待core.logic (require [clojure.core.logic :as l]) (l/run* [q] (l/fresh [a b c] (l/membero a [1]) (l/membero b [4 5]) (l/membero c [1 2]) (l/== q [a b])

1熱

1答えて

どのアルゴリズムが解決のためにclojureのcore.logicを使用していますか？

wikipediaによると、プロローグはSLD Resolutionを使用しています。 core.logicでの解決を推進する主なアルゴリズムは何ですか？

1熱

1答えて

なぜこのsortoの実装は終了しないのですか？

私はロジックプログラミングの初心者です。私はこのようなソート関係を実装しようとしています： (sorto [3 2 1][1 2 3]) -> #s のClojureとcore.logic使用I'am：これは中に終了することができない理由を私は理解していないをほとんどの場合。ご意見ありがとうございます。 (require '[clojure.core.logic :refer :all]

2熱

2答えて

MiniKanrenには "not"演算子がありますか？

MiniKanrenに "not"演算子がありますか？ 1が表すだろうか例えば、プロローグの bがtrueで、 cがない場合は a :- b, not(c) aは本当ですcが証明できない場合（Prologは失敗による否定、すなわちnot(c)が証明考えられているを使用しています） Prolog's notは、非基底式でも使用できます。 a(X, d(Y)) :- b(d(X), d(Y)),

1熱

1答えて

推論されたスキーマを理解していない第5章のフレーム62

私は現在、推論されたスキーマを学んでminiKanrenを学んでいます。私は第5章のフレーム62の演習で詰まっています：(run* (x) (flatten_o (a) x))、出力に3つのリストがあるのはなぜですか？ありがとうございます。