Fork me on GitHub
Steven Deobald17:01:36

@quoll When were were chatting after re:Clojure, you'd mentioned that Datomic datalog (and its derivatives) are not standard Datalog. Do you know if there is a canonical grammar for "standard Datalog" anywhere? Or if it's a standard that's been ratified by an official body?


Not a standard ratified by an official body, no. It was really developed in academia


The syntax is based on Horn clauses, which is what Prolog uses

Steven Deobald17:01:57

Hm, yeah. Hakan's pointed me to a couple papers that define grammars as well, but it doesn't seem very consistent.


academia rarely is