TerminusDB
https://terminusdb.org/docs/what-is-datalog/