Logica – Declarative logic programming language for data

There's also Malloy[0] from Google that compiles into SQL

> Malloy is an experimental language for describing data relationships and transformations.

[0]: https://github.com/malloydata/malloy

Came here to mention Malloy. Which is from the team that built Looker, which Google acquired. The Looker CTO founder then started (joined?) Malloy. And … he recently 6mo ago moved from Google to Meta.

https://www.linkedin.com/posts/medriscoll_big-news-in-the-da...

Also for those playing along at home - a few other related tools for “doing more with queries”.

- AtScale - a semantic layer not dissimilar to LookML but with a good engine to optimize pre building the aggregates and routing queries among sql engines for perf.

- SDF - a team that left Meta to make a commercial offering for a sql parser and related tools. Say to help make dbt better.

(No affiliation other than having used / been involved with / know some of these people at work)