←back to thread

Logica – Declarative logic programming language for data

(logica.dev)
171 points voat | 1 comments | 16 Nov 24 19:09 UTC | HN request time: 0.228s | source
Show context
Y_Y ◴[16 Nov 24 19:49 UTC] No.42158724[source]▶
If, like me, your first reaction is that this looks suspiciously like Datalog then you may be interested to learn that they indeed consider Logical to be "in the the Datalog family".
replies(1): >>42158818 #
1. jp57 ◴[16 Nov 24 20:01 UTC] No.42158818[source]▶
I think Datalog should be thought of as "in the logic programming family", so other data languages based on logic programming are likely to be similar.

And, of course the relational model of data is based on first-order logic, so one could say that SQL is a declarative logic programming language for data.