数据记录中的构建顺序

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中的查询评估基于first-order logic，因此，它有一些限制。无法用一阶语言来表征可数性或不可数性。

检查Countability。