Get the latest tech news
Mangle – a language for deductive database programming
Contribute to google/mangle development by creating an account on GitHub.
The goal of Mangle as an open source project is to convey the concepts in a way that is accessible to developers and lends itself to easy experimentation. This is a Mangle rule: conceptually, the implementation retrieve all possible values for variables P and Version that make all the subgoals true. (If translating non-recursive Datalog into SQL queries sounds interesting, you should check out the Logica open source project.)
Or read this on Hacker News