Bernhard Scholz

The issue is that predicate `out()` appears wrongly in relation `__agg_body_rel_0`. The domain for argument `r` is extended using `out` but `out` is a recursive relation.

Also, the following example is not working: ``` .type L=[a:L, b:number] .type A=L .decl R(x:A) R(nil). R([nil,1]). .output R ```

We have similar issues with ADTs: ``` .type L= next {a:L, b:number} | end {} .type A=L .decl R(x:A) R($end()). R($next($end(),1)). .output R ```

I tested again the most recent version of Souffle (master branch). With the following program: ``` .decl A(x:number) A(1). A(x+1) :- A(x), x < 10000. .printsize A ``` and invoked...

The problem could be a long-running rule which does not produce events while running. Such a rule would be perceived as if the profiler has frozen up. Again, we would...

Martin and I had a discussion. Again, this is based on assumptions, and we would need to have a concrete instance to show the behaviour that you describe. However, our...

Please can you check the documentation: https://souffle-lang.github.io/directives and try whether the rfc4180 flag works for you.

There is an issue with testing. If we increase the arity of relations substantially, the compilation time will go up. I suggest having a switch for cmake that limits the...

Yes - make the default arity 30. Have a compiler switch (#if ... #endif) so that the compile-time of the interpreter is reduced by lowering the arity (just enough to...

This is a good question. We have been thinking about this problem for a while and experimenting with it. Note that there is also a difference between RAM and AST....