问题标签 [logicblox]

LogicBlox 数据库是使用 LogiQL 语言编程的，根据他们的网站，这是 Datalog 的某种变体：

应用程序是使用 LogiQL 语言编写的，它是 Datalog 的扩展版本

Datalog 和 LogiQL 之间究竟有什么区别？

如何获取在 LogiQL 中执行逻辑文件的具体日期和时间？

我想要的本质上是一种确定引擎正在处理某个逻辑的唯一时间的方法，以便将此时间用作唯一标识符。

我正在尝试在我的 LogicBlox 项目中使用测量服务。我试图公开的层次结构很简单：

所有这些谓词都存在于hierarchy:calendar命名空间中。为了添加测量服务元数据，我现在在项目文件中设置为“执行”的 .logic 文件中有以下内容：

当我编译并将其部署到工作区时，我收到以下错误：

我在做什么错和/或如何调试它？

在新版本的 logicblox（任何高于 4.2.1 的版本）中，如果存在谓词“Person(p), hasPNr(p:n) -> int(n)”。然后我插入一个数据“+Person(p),+hasPNr[p]=1”。然后如果我想通过“-Person(1)”删除数据。将出现警告消息“警告：表达式‘1’的类型为‘int’，但需要‘Person’类型的值。编译器插入了谓词‘hasPNr’的使用以允许编译代码。” 如果没有此消息，如何删除数据？

我想知道如何在 LogicBlox / LogiQL 中使用 autoNumbered refmode 谓词

我按照手册中的示例进行操作，但是在将事实断言到实体谓词中时遇到了麻烦，将添加第一个但随后的尝试不会。

这是我在 LB 交互式 shell 中尝试做的事情：

如何实现lb web-client import --import file.csv --full http://service-uri与使用 cURL 等工具发出的 HTTP 请求相同的功能？

在我的lb-web-server.config文件中，我设置了以下内容：

lb web-client export --no-compress --output /some/dir/myfile.csv http://service-uri当我使用在中创建的临时文件运行导出时/my/temp/dir，但也写入了几个文件/tmp：

当这些临时文件的总大小超过 上的可用空间时/tmp，导出失败。

我是否遗漏了lb-web-server.config会导致这些文件被写入正确位置的附加设置？

我想在 LogicBlox 中编码“暗示”逻辑。我有一个谓词：

我在该谓词中添加了一些数据：

现在，我想按照以下逻辑规则创建数字 2 和数字 3，以及这两个数字的真值：

如果 isTrue[1] 为真，则 isTrue[2] 为真或 isTrue[3] 为真。(isTrue[1] 暗示 (isTrue[2] 或 isTrue[3]))

所以我创建了一个谓词：

然后我尝试创建这样的规则：

但是 LogicBlox 报告：“错误：规则头部不支持析取”

那么我如何编码这意味着LogicBlox中的逻辑？

在 LogicBlox 的每个发行版中，都有两个与支持的时区相关的 CSV 文件：

在构建使用时区的应用程序时，哪个是正确的？有效时区是否包含在我们可以打印的内部谓词中？

我想将使用 refmode 的现有实体转换为具有多维构造函数谓词的实体。但是，我不确定如何更新创建这些实体的 TDX 服务。

尝试使用与实体使用 refmode 时相同的服务时，尝试导入数据时出现以下错误。

我需要知道的是如何在 TDX 配置中“选择构造函数”。