datalog

-1熱度

1回答

練習Datalog的最佳方式是什麼？我應該在pyDatalog中練習嗎？或者我應該去與Prolog？（但不是Datalog和Prolog的語法不同？）謝謝。

0熱度

2回答

我無法確定如何使用Datalog聲明性邏輯編程語言計算平均值，最大值和最小值。例如，考慮到這個簡單的模式 Flows(Stream, River) Rivers(River, Length) 如果我想一）河流的平均長度， B）最長的河流， c）和河流較少流什麼是正確的Datalog查詢？我已經閱讀了Datalog理論，但無法確定這些簡單的在另一種語言查詢中如何用Datalog解決，並

0熱度

1回答

是否可以將數據通配符「_」傳遞給參數化查詢？

是否可以將通配符_傳遞給參數化查詢？類似這樣的： (d/q [:find ?e :in $ ?type :where [?e :type ?type]] db _) 當我按照上面所寫的方法嘗試這個時，它拋出一個錯誤。有沒有辦法做到這一點？我知道我可以得到一切與查詢，看起來像這樣：（d/Q [：查找電子：其中，[E：？類型]] DB）但我目標是避免在我不想過濾:t

0熱度

1回答

單獨使用Datalog可以嗎？

我目前正在學習Datalog爲我的課堂報告，我只需要討論基本的語法和一個基本的例子。我知道Datalog通常用作查詢語言，通常只用於其他語言，如Java，Lua，C等，但它可以僅通過自身教授Datalog，還是我需要使用另一種語言語言實現它來展示一個簡單的工作程序？

1熱度

3回答

如何使用datomic的pull方法通過其實體ID獲取實體？

如何使用其實體ID使用pull方法檢索實體？我使用了事務來添加一些數據/事實（正確的措辭？）到我的數據庫。我可以看到實體的ID，如果我喜歡一個簡單的查詢： [:find ?e :where [?e :arb/value] ] 其結果是： {[17592186045418] [17592186045420] [17592186045423]} 現在我我想用pull來檢索其中的一個。但是，拉

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.cardinality/

0熱度

1回答

Datalog代碼在Racket中不起作用

我想將this Prolog code移植到Racket中的Datalog，使用this page底部的示例。 #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, Y)?

0熱度

1回答

我需要基於兩個表創建一個Datalog Query？

下面的關於none_of_manufacturer的Datalog規則旨在列出那些航空公司沒有飛機的飛機制造商在其船隊列表中。然而，下面的Datalog的片段並不完成它打算做的事情。 none_of_manufacturer(Man) :- aircraft_type(Model, Man, _), ¬ model_in_fleet(Model). model_in_fleet(Mod

0熱度

1回答

如何在pyDatalog中創建動態算術事實？

我需要創建一個簡單的數據記錄機（這意味着我的輸入是2個文件：1.事實，2.規則。）我目前使用pyDatalog包。我需要解析事實並動態地創建術語。從pyDatalog的教程，我發現這個例子裝載事實： load(""" ancestor(X,Y) <= parent(X,Y) ancestor(X,Y) <= parent(X,Z) & ancestor(Z,Y) """) 在這種情況

1熱度

1回答

我可以拉一個實體，它的父組件一直到組件樹上？

是否有可能將實體和所有組件父項一直拉到樹上？反向遞歸拉。如果不是，我該怎麼做？