Fork me on GitHub
#asami
<
2021-01-08
>
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?

quoll17:01:31

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

quoll17:01:44

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.

quoll18:01:07

academia rarely is