问题标签 [logiql]

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

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

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

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

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

我正在跟踪 LogiQL 谓词中的日期：

我想找出最后执行的编译是什么，即cpredicated中最新的编译是什么compilation_date。

我将如何使用 LogiQL 做到这一点？

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

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

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

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

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

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

我有一个实体谓词，例如。具有相关功能谓词的“人”存储有关实体的属性。

例如。

我想做的是在终端中，执行相当于 SQL 查询的操作：

我知道 print 命令可以获取单个功能谓词的详细信息，但我想获得它们的组合。

我正在处理需要设计以从其中一个工作簿更新谓词@master 的要求。因此，我在为用户操作调用的非活动块中添加了以下逻辑。

+predicate2@master[x,y] = flag <- predicate1@prev[x,y] = flag,flag = true。

请注意，一旦将谓词 1 复制到主副本中的谓词 2，我需要从谓词 1 中删除事实。

编译此逻辑时，出现以下错误。

块block_4SZVZ9DO：第24行：错误：'predicate2@master'的阶段'master'早于运行阶段'INITIAL'；不允许为过去阶段推导事实（代码：STAGE_PAST）+predicate2@master[x,y] = flag

请帮助从工作簿中更新 Master 中的谓词。

谢谢，森希尔维尔

如果我有两个谓词（不起作用）：

我可以添加事实：

这些是谓词中的事实查询：

我的问题是如何进行查询以显示 1. 两个表中的 city_dim_id 是什么，2. 返回 city_dim_id 和 city_name，但仅在两个表中都存在 city_dim_id 的地方？

提前致谢。

我刚刚开始使用 LoqiQL 和 LogicBlox。在查看不同的运算符时，我遇到了事务 ID和唯一标识符。这两个运算符的用例是什么？

我正在尝试使用参考手册中描述的唯一 ID 。但是，我收到以下错误：

如何安装这个模块？