3 ms·

Datalog indeed is a thing: https://en.wikipedia.org/wiki/Datalog https://en.wikipedia.org/wiki/Datalog