Google Releases Mangle: A Programming Language for Deductive Database Programming

Google has launched Mangle, an open-source programming language built as a Go library that extends the traditional logic-based language Datalog to better suit modern deductive database applications. Mangle addresses the challenge of querying and reasoning across data dispersed in multiple, heterogeneous sources by providing a unified, declarative framework that simplifies complex data analysis tasks, particularly in security and development contexts. Its key innovations include support for recursive rules, enabling efficient expression of transitive relationships such as dependency trees and access hierarchies, which are critical for vulnerability management, configuration analysis, and infrastructure mapping. By enhancing Datalog with features tailored