News for hackers. Stuff that matters.

A comment on Logica, a novel open-source logic programming language. Parent comment

Re:Logica, a novel open-source logic programming language by hcarvalhoalves on Wednesday April 14, 2021 @11:52AM (#26808775)
Datomic: https://docs.datomic.com/cloud/query/query-data-reference.ht...

Datascript: https://github.com/tonsky/datascript

Crux: https://opencrux.com/main/index.html

[ Parent | on HN ]
Re:Logica, a novel open-source logic programming language by ghusbands on Thursday April 15, 2021 @08:53AM (#26819834)
I feel your parent post was probably looking for software that successfully uses datalog to fetch/query its data, not one that provides data through datalog. User, not provider.
[ Parent | on HN ]
Re:Logica, a novel open-source logic programming language by cpdean on Thursday April 15, 2021 @12:58PM (#26823094)
Yep, thanks!

I'm well aware of datomic family databases, but it's the part about solving interesting problems with them that interests me, not that someone has implemented another one ;)

[ Parent | on HN ]
Re:Logica, a novel open-source logic programming language by rafaelferreira on Friday April 16, 2021 @12:38PM (#26836055)
Have you seen this presentation about NuBank's usage of datomic https://youtu.be/7lm3K8zVOdY ?
[ Parent | on HN ]