Quentin Sabah

Hi, with a build on a recent version of the code your example runs correctly: ``` --------------- myA.myA1.F s q =============== a c b c =============== ``` Have you tried...

@cmungall did you try with a recent build of Souffle ? I believe the head version of Souffle should behave as you expect.

Hi Bernhard, Regarding `optional libffi`, I revamped the `Build` page: https://github.com/souffle-lang/souffle-lang.github.io/pull/112

Some datalog implementations behave as if division by zero and modulus zero are formulas that do not hold. I like this solution it feels natural for constraint logic programming, at...

Would it be even more flexible to have (user-defined) functors returning some boolean indicating whether they have produced a result or not ? For instance a new keyword `conditional` on...

It don't think the switch to `ldd` was motivated by the move to a lock-free record table. The comment in this commit https://github.com/souffle-lang/souffle/commit/0d581d21868a87c7eb6d9b37d72535e370cdb403 `# Using Clang? Likely want to use...

The generated c++ code for a given datalog program is standalone, the common code resides in souffle's headers files. However currently, user-defined functors libraries must be compiled with the same...

Isn't it possible to build Souffle with OpenMP disabled. Then use that Souffle to produce c++ code with all the necessary openmp directives. And finally build the generated code with...

In that case the condition should be in the generated code and evaluated by the generated code, instead of being evaluated at synthesizing time. That would be easy using the...

In any case it would then be nice to have a simple way to construct values of an ADT using the Souffle API. Currently we have to do a little...