Datalog is a mathematical construct. It doesn't make sense to expect a canonical implementation, just like it doesn't make sense for Lambda-Calculus.

Datalog has well defined semantics and can actually be formalised through different means, which are proven to be equivalent.

* Model theoretic (logical)

* Fixpoint (imperative)

* Proof theoretic (functional)

I'm not sure it makes a lot of sense for there to be a canonical implementation of Datalog. It's kind of like asking if there's a canonical implementation of SQL.

No.