News for hackers. Stuff that matters.

A comment on Mangle, a programming language for deductive database programming.

Re:Mangle, a programming language for deductive database pro... by jitl on Saturday November 26, 2022 @04:59PM (#33757226)
Interesting; Google engineer previously published Datalog variants for BigQuery: https://research.google/pubs/pub43462/ & https://logica.dev/

This new language seems similar to differential-Datalog (which is sadly in maintenance mode): https://news.ycombinator.com/item?id=33521561

[ Parent | on HN ]
Re:Mangle, a programming language for deductive database pro... by evgskv on Monday November 28, 2022 @07:40PM (#33782083)
That's right. And btw Logica is also open source: https://github.com/evgskv/logica
[ Parent | on HN ]