datalog

0熱

1答えて

this pageの下部の例を使用して、this Prolog codeをラケットのDatalogに移植しようとしています。 #lang datalog edge(a, b). edge(b, c). edge(c, d). edge(d, a). path(X, Y) :- edge(X, Y). path(X, Y) :- edge(X, Z), path(Z, Y). path(X

0熱

1答えて

pyDatalogで動的算術ファクトを作成するにはどうすればよいですか？

私は単純なデータログマシンを作成する必要があります（つまり、私の入力は2つのファイルです：1.事実、2つのルールです）。私は現在pyDatalogパッケージを使用しています。事実を解析し、用語を動的に作成する必要があります。私は、ファイルから文字列を解析する必要があり、この場合の load(""" ancestor(X,Y) <= parent(X,Y) ancestor(X,Y) <= p

-1熱

1答えて

Datalogを練習する最良の方法は？

データログを練習する最良の方法は何ですか？私はpyDatalogで練習すべきですか？それともプロローグと一緒に行くべきですか？（ただし、DatalogとPrologでは構文が異なりますか？）ありがとうございます。

0熱

2答えて

Datalogの最小値と平均

Datalog宣言論理プログラミング言語を使用して平均値、最大値、最小値を計算する方法を理解できません。例：私がしたい場合は、このシンプルなスキーマ Flows(Stream, River) Rivers(River, Length) を考慮 a）の少ないストリームと河川の平均長、 b）の最長の川、 C）と川正しいDatalogのクエリは何ですか？私はDatalog理論を読んだことがあ

0熱

1答えて

データログのワイルドカード `_`をパラメータ化されたクエリに渡すことはできますか？

パラメータ化されたクエリにワイルドカード_を渡すことはできますか？このようなもの： (d/q [:find ?e :in $ ?type :where [?e :type ?type]] db _) 上記のように試してみると、エラーが発生しました。これを行う方法はありますか？私はこのようになります、クエリですべてのものを得ることができることを知っている：（D/Qの[

1熱

3答えて

データムのプルメソッドを使用してエンティティをエンティティIDで取得するにはどうすればよいですか？

pullメソッドをエンティティIDで使用してエンティティを取得するにはどうすればよいですか？私はデータベースにいくつかのデータ/事実（右のフレーズ？）を追加するためにトランザクションを使用しました。私は今 {[17592186045418] [17592186045420] [17592186045423]} ： [:find ?e :where [?e :arb/value] ] 結果

2熱

1答えて

Datomicクエリパフォーマンスの向上

私はDatomicデータベースで次のようになりスキーマを持っている： ; --- tenant {:db/id #db/id[:db.part/db] :db/ident :tenant/guid :db/unique :db.unique/identity :db/valueType :db.type/string :db/cardinality :db.ca

0熱

1答えて

2つのテーブルに基づいてデータログクエリを作成する必要がありますか？

none_of_manufacturerの以下のDatalogルールは、航空会社に航空機が搭載されていない航空機メーカーのリストをとしたものです。下のDatalogの断片は、が意図したものではありません。 none_of_manufacturer(Man) :- aircraft_type(Model, Man, _), ¬ model_in_fleet(Model). model_

0熱

1答えて

DatalogクエリをSQL（ite）クエリに変換する

Datalogは、リレーショナルデータをクエリするための素敵な言語です。シンプルで明瞭で、よく構成され、構文を追加することなく再帰的なクエリをサポートします。 SQLiteは、再帰クエリを処理できるpowerful query engineと思われる素晴らしい組み込みデータベースです。Mandelbrotセットを生成し、Sudokoパズルのすべての解決策を見つけるための例をそのページの下に示します

0熱

2答えて

データ集計：ゼロカウントで結果を失うことなく関連するエンティティをカウントする

私は質問で構成されたドメインモデルを持っています。各質問は多数のコメントと確認に関連しています。ノーコンテンツの束が各質問、ならびにこれらの関係は（例えば、いくつかの質問には一切コメントしていないか、または空の場合を含め、関連するコメントと断言数、属性抽出Datalog queryをしたいと思い肯定）、返されるカウントは、私は関係が空のときにゼロカウントを取得するために(sum ...)と「重量