Mangle – a language for deductive database programming
95 points
18 hours ago
| 5 comments
| github.com
| HN
albert_e
10 hours 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

reply
haolez
7 hours ago
[-]
I haven’t worked closely with Datalog, but whenever I come across tools that use it, they always seem to extend vanilla Datalog (like this one).

Are there any notable implementations of plain Datalog? If not, what’s the reason? Does vanilla Datalog have major limitations? Just curious.

reply
Pxtl
15 hours 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.
reply
jauntywundrkind
12 hours ago
[-]
reply
anonzzzies
9 hours ago
[-]
> I'm unconvinced the syntax makes a genuine difference

Syntax not, but datalog (-ish) does. It's a more natural way (imho of course) to query data. Far more complex queries with less mental overload.

reply
pbowyer
9 hours ago
[-]
reply
Onavo
14 hours 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?
reply
yorwba
13 hours 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.
reply
diggan
8 hours ago
[-]
> because they're having their fun at Google

I think it's even worse, even stuff they do in their freetime have to be under the Google umbrella if they want to open-source it, just because they work during the daytime at Google.

reply
riku_iki
1 hour ago
[-]
Does it depend on jurisdiction? In California, they are free to do whatever they want if they don't compete with employer (a little bit hard in case of Google of course)
reply
hobofan
13 hours 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

reply
cess11
11 hours ago
[-]
Perhaps they have https://logica.dev/ in mind. I think it's more restricted.
reply
tomsmeding
9 hours ago
[-]
Which is, in fact, linked in the readme of this project.
reply
business_liveit
13 hours ago
[-]
I wanna know what's the difference between the mysql and mangel?
reply
tomsmeding
9 hours ago
[-]
I suggest you read the linked readme. ;)
reply