datalog - Datalog 和 LogiQL 有什么区别？

Question

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

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

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

Answer 1

LogiQL 确实是 Datalog 的超集，添加了各种功能，包括：

• 交易支持
• 可以动态插入和删除事实的扩展数据库（即事实集不是“静态的”）
• 实体
• 聚合
• 更新扩展数据库的增量逻辑
• 脉冲谓词，其事实仅在事务的生命周期内保留
• 模块，用于大规模应用程序开发
• 支持机器学习和优化

可能还有更多我忘记了。

Answer 2

事实上，用于研究数据库理论的“学术”版本的 Datalog 是有意限制的。Datalog 的每个“工业”变体都添加了自己的扩展来支持编程实际应用程序。除了 Zef 列出的内容之外，LogiQL 支持的其他一些功能包括

• 有用的原始类型，例如 datetime、int、string - 具有无限数量值的类型
• 对原始类型的操作，例如获取时间的日期时间函数、解析时间、数字比较、数字函数（例如加法或生成随机数等）。构建实际应用程序真正需要的所有东西，但会使理论变得相当讨厌如果您在学术上研究过它，因此被排除在 Datalog 的学术版之外
• 构建新实体的能力
• 否定。目前 LogiQL 支持全局分层否定，这意味着如果谓词 A 是通过对谓词 B 的否定来定义的，那么谓词 B 的定义也不能传递地对谓词 A 进行否定。

Answer 3

LogiQL 在很大程度上是 Datalog 的超集。最初它在 LogicBlox 内部简称为“Datalog”。与 Datalog 的其他实现非常相似，LogicBlox 风格也添加了一些独特的功能。在某些时候，该语言变得更加广泛，具有如此多的新特性，因此决定将其重命名为“LogiQL”。但 LogiQL 仍然是 LogicBlox 的独特风格和 Datalog 的超集。