Comparison to Crepe?

[langston-barrett]

Crepe is another Rust-macro-embedded Datalog-like eDSL. It would be nice to point to it from the README as an alternative, or even better, to provide a short comparison between the two projects.

[kmicinski]

Thanks for the great points. We did look into Crepe a while back, we should write about it in the readme, etc.. I believe we currently are getting better results than Crepe due to our efficient parallel compilation strategy--also, Crepe does not support lattices. So those are two main differences that Ascent implementations should use if they hope to achieve scalability gains vs. Crepe.

[s-arash]

Additionally, we support user-extensible stratified aggregation. It looks to me that Crepe currently only supports stratified negation.

[s-arash]

I'll likely reference this issue in README. Until then, I'll keep it open.

[kmicinski]

I am closing this issue--we have some discussion of Crepe in our BYODS paper. It is a nice system as well and I encourage folks to check it out, but I don't think we need to do more comparison against Crepe as they have diverged in substantively different directions: with BYODS and parallelism (not supported by Crepe).