I am thinking maybe Datalog? It seems to match all your features, including being available in other languages as a library. https://en.wikipedia.org/wiki/Data

I am thinking maybe Datalog? It seems to match all your features, including being available in other languages as a library. https://en.wikipedia.org/wiki/Datalog https://en.wikipedia.org/wiki/Datalog