Mangle
Go library for Datalog-style logical reasoning and domain modeling
...Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. Unlike SQL, Mangle’s declarative syntax naturally supports recursion and modular program structure, making it suitable for representing hierarchical or interconnected datasets like dependency graphs or knowledge graphs. The project’s implementation is provided as a Go library, enabling developers to embed Mangle directly into their applications or services, such as database-like gRPC systems.