Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Why do you think that https://github.com/SWI-Prolog/swipl-devel is a good alternative to souffle