You might find https://github.com/graknlabs/grakn https://github.com/graknlabs/grakn of interest. Datalog was one of our main sources of inspiration. The query

You might find https://github.com/graknlabs/grakn https://github.com/graknlabs/grakn of interest. Datalog was one of our main sources of inspiration. The query mentioned in this thread (the person named Bob who lives in Texas) would be something like: $x has name 'Bob'; ($x, $y) isa lives; $y has name 'tx';