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 h

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)