dev-lang/

souffle

Datalog compiler, synthesizes C++ program from logic specification

http://souffle-lang.github.io/