For all .NET users: you can now try Mangle.
https://www.nuget.org/packages/Mangle/

Mangle is a Datalog dialect — write facts and rules, the engine derives all consequences, including recursive ones like graph reachability. This wraps the Rust implementation as a native lib, usable from C#, F# and Visual Basic.

Built for Linux, Mac and Windows via a GitHub Actions matrix + the fantastic Rust compiler.

At the risk of repeating myself: it has never been easier to use Datalog!

#Mangle #Datalog #dotnet #rust