There's Souffle[1] that can synthesize C++ for you that you then compile with the rest of your C++.

[1]: https://souffle-lang.github.io/