oracle/souffle

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

C++UPL-1.0