You might find 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';
$x has name 'Bob'; ($x, $y) isa lives; $y has name 'tx';