问题标签 [datalog]

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

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

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

我有这个数据库：

如何在 中进行此查询PROLOG(DATALOG)？

查找预约较多的教授姓名

所以我目前正在学习数据记录。我启动它并输入以下内容：

并立即得到一个未定义的谓词错误。据我了解，这应该是在模拟数据库中定义关系的正确方法。怎么了？我在互联网上进行了搜索，但一无所获。

我正在使用没有 GUI 的 Windows 64 位版本的程序

感谢您迄今为止的所有帮助！

今天我正在为数据记录程序开发数据库。我在逻辑上有点卡住了，我以为我已经弄清楚了，但我遇到了一些死胡同。

我有 Scheme 输入，所以基本上是一个带有 A Name 的字符串和一个列表名称列表。然后我有 Facts，基本上这些列表有一个名称和一个值列表。

我需要处理方案创建一个带有方案名称的列表，这些列表是带有变量的列表，并将匹配事实的信息附加到变量列表中。

例如

我需要生成以下列表

我遇到的问题是，因为我不知道我需要多少个列表，直到我看到我正在使用的输入向量>>。这里的问题是，当我遇到一个只匹配两个列表的元素时，我不太知道该怎么做。这个问题变得比我认为的要复杂得多。

如何生成更易于查看且大小不同的单独列表？

到目前为止，我已经做到了，这样我就可以在方案和事实下按照上面的示例 listname 并生成一个不错的向量，但是当我遇到其他类型（例如上面的其他类型）时，我会卡住。

我通常不喜欢在这里发布这样的开放性问题，但我在编程方面并不是很有经验，而且我很难想出一个完成这项工作的好方法。

感谢您的任何意见！

我想通过下一个查询找到年龄最小的人

但结果是

怎么做？

给定表格的一组事实is_member(country, organisation)，我有以下查询要写入数据日志：

返回属于丹麦加入的所有组织的所有国家。

我想做类似的事情

member_all_Denmarks_organisations(Country):- ¬( is_member('Denmark', Organization), ¬is_member(Country, Organization) ).

换句话说，“对于丹麦加入的每个组织，国家也是其中的一员”。但是datalog 不允许包含非实例化变量的否定谓词，所以这不起作用。

我该如何进行？一般来说，当想要表达“所有人”的陈述时，如何在数据记录中做到这一点？

尝试/咨询 DES Datalog 中的 .dl 文件时，我得到一个奇怪的语法错误代码，我无法破译。

输入的命令和相应的错误信息：

.dl 文件的代码：

我正在寻找不评估不必要规则的Datalog的 Jave 实现。我查看了IRIS 推理器，它似乎是最稳定的推理器。

但是，它评估所有规则，而不仅仅是正在使用的规则。举个例子：

我发现ancestor即使从未使用过 IRIS 也会计算关系。

Java 还有哪些其他实现？是否有任何执行此优化？

使用此查询：

我可以找到所有具有名为的属性:db/valueType和值为:db.type/string. 在我的情况下，数据库中有一些数据，它返回十个 ID。

:db.type/string无论属性名称如何，我将如何搜索值为 的所有实体？例如这个查询：

返回一个空集。据我所知，Datomic 的 Datalog_应该用作通配符，匹配任何内容，因此第二个查询至少应该返回与第一个相同数量的结果，甚至可能更多。

谢谢...

我在 Datalog Form 中有多个个人推理规则。我可以扩展 JenaGenericRuleReasoner以便在推理步骤中将它们考虑在内。这是执行此操作的代码示例：

实际上，我想使用Pellet推理器，因为它很容易插入 Jena。我想知道是否Pellet可扩展为GenericRuleReasoner？如果是，如何在其中添加我的 Datalog 规则？