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)