datalog - 数据记录中的构建序列

Question

我正在使用带有否定的数据记录版本。我正在尝试编写一个程序，为关系中的每一行分配递增的序列号。例子：

给定一些EDB

items("a", "b") items("a", "c") items("b", "b")

我希望能够生成以下 IDB，为中的每一行分配一个序列值items：

items_with_seq("a", "b", 0) items_with_seq("a", "c", 1) items_with_seq("b", "b", 2)

Answer 1

Datalog 中的查询求值是基于一阶逻辑的，因此存在一定的局限性。不可能在一阶语言中描述可数性或不可数性。

检查可数性。