logiql

    4熱度

    3回答

    的LogicBlox數據庫使用的是LogiQL語言,這是根據他們的網站某種數據記錄的變種程序: 應用程序正在使用LogiQL語言,數據記錄的擴展版本 寫Datalog和LogiQL的區別究竟是什麼?

    0熱度

    2回答

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

    0熱度

    2回答

    我跟蹤日期在LogiQL斷言: compilation_date[c] = d -> compilation(c), datetime(d). 我想找出什麼是最後進行編譯,即什麼是c針對d是最近的謂詞compilation_date。 我該怎麼做,使用LogiQL?

    3熱度

    1回答

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

    0熱度

    1回答

    我正在按照由Terry Halpin(鏈接下面所述)命名的邏輯數據建模教程,但無法插入數據。 https://www.brcommunity.com/articles.php?id=b760 下面是代碼: addblock 'Country(c), hasCountryCode(c:cc) -> string(cc). Language(l), hasLanguageName(l:ln) ->

    0熱度

    1回答

    我正在處理需要設計以從其中一個工作簿更新predicate @ master的需求。因此,我在以下邏輯中添加了一個用於用戶調用的非活動塊行動。 + predicate2 @ master [x,y] = flag < - predicate1 @ prev [x,y] = flag,flag = true。 請注意,在複製到主副本中的謂詞2後,我需要從謂詞1中刪除事實。 當這個邏輯被編譯時,我得到

    0熱度

    1回答

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

    0熱度

    1回答

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