Mangle – a language for deductive database programming

56 simonpure 8 8/18/2025, 12:55:35 AM github.com ↗

Comments (8)

albert_e · 54m ago
Is this the same "Deductive Database" mathematical programming language of Google DeepMind mentioned in the latest 3b1b guest video by Aleph0 (where they say the language doesnt have a name yet)

https://youtu.be/4NlrfOl0l8U?t=4m8s

Pxtl · 5h ago
Anybody who replaces the hoary old albatross of SQL without throwing out the relational algebra baby with the bathwater gets my support. I hope this goes far.
jauntywundrkind · 2h ago
Onavo · 4h ago
This is what? The third logic/datalog family query language Google launched? What's the internal story? Does each department have their own query engine?
yorwba · 4h ago
"This is not an officially supported Google product." For all we know, this is just some people having fun, but because they're having their fun at Google, it needs to be open-sourced under the Google umbrella.
hobofan · 3h ago
Which are the other ones that come to your mind?

I know of PathQuery[0], but that one doesn't have an open source implementation and is much more inspired by Graph query languages than SQL.

[0]: https://arxiv.org/abs/2106.09799

cess11 · 1h ago
Perhaps they have https://logica.dev/ in mind. I think it's more restricted.
business_liveit · 3h ago
I wanna know what's the difference between the mysql and mangel?