Mihai Budiu

Often github resolves the comments by itself

I like Souffle's generic components: https://souffle-lang.github.io/components That would be a way to use generic relations.

No one is working on a Python API or an interpreter interface. We welcome any contributions. Your approach does not seem to work for interpreter: you still need to compile...

The second example doubles the set size in each iteration, so it needs only a logarithmic number of iterations in the size of the output set. Why do you need...

Maybe we can have a different build optimized for very long running computations, where the iteration counter could be 64 bits. So you essentially have two different ddlog builds, one...

A crash is preferable to a silent incorrect result. The ideal solution would compute using multisets but would detect overflow and switch to using distinct. I am not sure whether...

I wonder whether some kind of static analysis could be used to estimate the size of the number of derivations.

Crashing is not really a solution. More work is needed.

How are you generating these pictures?

Also `if ((k,v) = z)`, which evaluates to `true` only if the pattern matching succeeds.