←back to thread

Logica – Declarative logic programming language for data

(logica.dev)
171 points voat | 3 comments | 16 Nov 24 19:09 UTC | HN request time: 0.001s | source
Show context
dang ◴[16 Nov 24 19:37 UTC] No.42158630[source]▶
Related:

Google is pushing the new language Logica to solve the major flaws in SQL - https://news.ycombinator.com/item?id=29715957 - Dec 2021 (1 comment)

Logica, a novel open-source logic programming language - https://news.ycombinator.com/item?id=26805121 - April 2021 (98 comments)

replies(1): >>42162766 #
usgroup ◴[17 Nov 24 08:18 UTC] No.42162766[source]▶
I may be misremembering but I think that at the time, Logica was the work of one developer who happened to be at Google. I'm not sure that there was an institutional push to use this language, nor that it has significant adoption at Google itself.
replies(1): >>42162915 #
1. thenaturalist ◴[17 Nov 24 08:56 UTC] No.42162915[source]▶
This seems supported by the fact that the repo is not under a Google org and it has a single maintainer.
replies(1): >>42163983 #
2. diggan ◴[17 Nov 24 13:01 UTC] No.42163983[source]▶
> that the repo is not under a Google org

I don't think that matters? github.com/google has a bunch of projects with large warnings that "This is not a Google project", not sure why or how that is. From the outside it looks like if you work at Google, they take ownership of anything you write.

replies(1): >>42164615 #
3. azornathogron ◴[17 Nov 24 15:20 UTC] No.42164615[source]▶
> From the outside it looks like if you work at Google, they take ownership of anything you write.

That is precisely how it works.

Disclaimer: I am not a lawyer, and I'm sure the validity and enforceability of the relevant contract clauses varies by jurisdiction.