Comment by huahaiy

Datalog exists and there are so many implementations.