[Q] How do I implement a `range` table? about cozo HOT 2 CLOSED

What you are asking for is infinite relations: as a and b are bindings, the relation represented by range must be (at least conceptually) infinite. This has been studied in the academic literature as an extension to Datalog, but I am not aware of any practical Datalog implementation that supports it.

However, writing it in the following way is perfectly acceptable in CozoScript:

range[x] := x = $lower
range[x] := range[y], x = y + 1, x <= $upper
?[x] := range[x]

and at query time you can pass in $lower and $upper as parameters. Does this work for you?

from cozo.

I think it will work for my use case, yes.

Thanks for the explanation, I will look up infinite relations since now I am curious about them.

from cozo.