thouffle Souffle with a Lisp A Lisp to C++ compiler written in Souffle, a dialect of the Datalog logic-programming language.