Mangle

Google has introduced Mangle, a new open-source programming language that extends the classic logic-based language Datalog for modern deductive database...