logicblox

3熱度

1回答

我不知道如何處理autoNumbered在LogicBlox refmode謂詞/ LogiQL 我跟着manual的例子，但然後我有麻煩主張的事實進入實體謂語，第一個將被添加，但隨後的嘗試會不是。這是我試圖在LB互動殼裏做： lb> create wibble created workspace 'wibble' lb wibble> addblock ' >auto(x), auto_

2熱度

1回答

HTTP請求等價於lb web-client import --full

如何通過使用cURL之類的工具創建HTTP請求來實現與lb web-client import --import file.csv --full http://service-uri相同的功能？

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

2熱度

2回答

我如何編碼LogicBlox中的「隱含」邏輯？

我想在LogicBlox中對「隱含」邏輯進行編碼。我有一個謂語： Number(n),hasNumberName(n:i)->int(i). isTrue[n] = i -> Number(n), boolean(i). 而且我在謂詞添加一些數據： +Number(1). 現在，我想創建2號和3號，和這兩個數的真值以下此邏輯規則：如果isTrue [1]爲true，則isTrue [

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簡單的規則中間表示

我有一個logiql文件，有許多「複雜」的規則。下面是一些例子： tuple1(x), tuple2(x), function1[y, z] = x <- in_tuple1(x), in_tuple2(x, y), in_tuple3[x, y] = z. tuple1(x,y) <- (in_tuple1(x,z), in_tuple2(y,z)); in_tuple2(x,y) 對