2 ms·
I wonder how the DDLog compares to Souffle. I think that the biggest difference is that Souffle is batch-oriented. It is less clear how different are the expres
by lykahb 6y ago
I wonder how the DDLog compares to Souffle. I think that the biggest difference is that Souffle is batch-oriented. It is less clear how different are the expressiveness, type systems or the recommended patterns. The syntax of DDLog looks seems to be closer to Souffle than to Datomic with EDN.
- ben_pfaff 6y agoI don't know anything about Souffle so I can't directly answer the question. But there is some related material. The DDlog repo includes a Souffle-to-DDlog converter: https://github.com/vmware/differential-datalog/blob/v0.38.0/tools/souffle_converter.py https://github.com/vmware/differential-datalog/blob/v0.38.0/... The Souffle converter is somewhat incomplete: https://github.com/vmware/differential-datalog/issues/174 https://github.com/vmware/differential-datalog/issues/174