3 ms·
I might be strange in this, but I dislike languages without a canonical implementation; is there a canonical implementation of Datalog?
by analognoise 11y ago
I might be strange in this, but I dislike languages without a canonical implementation; is there a canonical implementation of Datalog?
- wtetzner 11y agoI'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.
- handojin 11y agoNo.
- j-pb 11y agoDatalog 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)