Mangle: An Open-Source Deductive Database Programming Language Based on Datalog
2025-08-18
Mangle is an open-source programming language extending Datalog for deductive database programming. It supports features like aggregation, function calls, and optional type-checking, enabling uniform representation and querying of data from multiple sources and modeling domain knowledge. Mangle provides a Go library for easy embedding in applications. It supports recursive rules and demonstrates, through examples, how to use Mangle to find software affected by the log4j vulnerability, and how to perform grouping and aggregation. While sacrificing some performance, its ease of use and extensibility make it a powerful tool.
Development
deductive database