I 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 co

I 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