by Google released the Deductive Database programming language Mangle on GitHub. Officially, Mangle is an extension of Datalog with various additional features such as aggregation, function calling, and optional category checking. Datalog itself is a query language specially designed to operate large relational databases. Since Datalog is just a specification like SQL, bddbddb, DES, and OverLog are all implementations of Datalog syntax.
