logicblox

0熱度

2回答

密鑰如果我有兩個謂詞（沒有功能）： addblock 'city(city_dim_id) -> int(city_dim_id).' addblock 'city_name[city_dim_id] = name -> int(city_dim_id), string(name).' 我可以補充的事實： exec '+city(1).' exec '+city_name[0] = "N/

0熱度

2回答

如何在Logicblox中跟蹤運行？

我的logicblox程序從一組初始事實和一組規則R開始。它推導出最終的一組事實T'。對於運行，使用了一條規則和幾個事實，它導出了一些新的事實。如何提取有關執行的運行的所有信息？提前，是否有可能提取與某些派生事實相關的運行？

0熱度

1回答

LogiQL：使用事務ID和唯一標識符

我剛剛開始使用LoqiQL和LogicBlox。在看着不同的運營商時，我遇到了transaction ID和unique identifiers。這兩個運營商的用例是什麼？

0熱度

1回答

如何查詢對IDB謂詞的更改？

我想對一些EDB進行更改，然後找出IDB因此而改變的方式。 docs表示查詢階段出現在最後階段之後，並且「可以訪問階段FINAL的效果」。但是，如果我跑 query '_(id) <- ^level(id; _).' （其中一級是IDB）我得到 block block_1Z7PZ61E: line 2: error: predicate level is an IDB, therefore d

0熱度

1回答

LB 4.1：未安裝uid

我嘗試使用Reference Manual中描述的唯一標識。但是，出現以下錯誤： Error: P2PMapping defined at block_1Z1C1O1V:4(2)--7(73) requests module 'uid', but no module with that name is installed. 如何安裝此模塊？

0熱度

1回答

如何創建。邏輯文件autonumbered謂詞LogiQL？

我試圖建立與autoNumbered謂詞的項目。因爲它給我的錯誤，它預計的約束或郎。邏輯文件autoNumbered選擇：下令我不能使用lang。所以我改寫了一個.lb文件，它的工作我的代碼。代碼如下： create --unique addblock <doc> node(n), node_id(n:id) -> int(id). lang:autoNumbered(`

0熱度

1回答

在Logicblox中設置

是否可以在Logicblox中對設置進行建模？具體來說，我想要一個set of Integers，比如說{1,4,9}，並且想要檢查該集是否爲空集，以及是否某個元素屬於該集。

0熱度

1回答

如何從logicblox中刪除數據而不發出警告消息

在新版本的logicblox（任何遲於4.2.1的版本）中，如果存在謂詞「Person（p），hasPNr（p：n） - > int N）。」然後我插入一個數據「+ Person（p），+ hasPNr [p] = 1。」然後，如果我想通過「-Person（1）」刪除數據。將會有一個警告信息「警告：表達式'1'的類型爲'int'，但需要一個'Person'類型的值。編譯器插入了謂詞'hasP

0熱度

2回答

在LogiQL中獲取當前時間

如何獲取邏輯文件在LogiQL中執行的具體日期和時間？我基本上想要的是一種查明引擎處理某個邏輯的唯一時間的方法，以便將此時間用作唯一標識符。

0熱度

1回答

LogicBlox度量服務：如何解決此功能依賴違例？

我正在嘗試在我的LogicBlox項目中使用度量服務。我試圖揭露層次結構很簡單： day(d), day_id(d:i) -> string(i). week(w), week_id(w:i) -> string(i). month(m), month_id(m:i) -> string(i). year(y), year_id(y:i) -> string(i). day2month[d