Logica – Declarative logic programming language for data

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".

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.