Bernhard Scholz

This behaviour is related to #819.

You may want to exclude floating-point numbers from the magic set transformation. There will be some underlying equivalence assumptions. In future, the default position may very well be that rules...

I believe the cause for this problem is that floating point number's equivalence is checked in the interpreter via bit equivalence rather than a == b. This is not quite...

We would need to extend the code-generation for the interpreter since the equivalence test for floating point numbers is a bitwise comparison. However, IEEE754 comparisons have some special cases and...

I see - you would like to have the following transformation: ``` P(i) :- G(i-1). => P(i) :- G(j), j = i-1. => P(i) :- G(j), i = j +1....

I guess the main problem is that people are trained in Prolog and not in Datalog, i.e., the direction of the argumentation changes.

We are working on Version 2 and still have a lot to do for Version 2.0. After completion of Version 2, this would be a very nice feature for beginners.

We download more than 256MB of data, and that exceeds PackageCloudIO's free plan. Let us know if somebody wants to sponsor a plan for Souffle that has more bandwidth.

That would be great! Long-term we would like to use souffle-lang.github.io as a repo. We are working on this at the moment. In the meantime, it would be great to...

The next bw reset is on the 19th. Could you write me an email to [email protected]?