Clojurians Log v2
Clojure programming
Channels
Apps
asami
Asami, the graph database https://github.com/threatgrid/asami
Steven Deobald 2021-01-08T17:50:36.307500Z
@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?
quoll 2021-01-08T17:52:31.308Z
Not a standard ratified by an official body, no. It was really developed in academia
quoll 2021-01-08T17:53:06.308200Z
quoll 2021-01-08T17:53:44.308700Z
The syntax is based on Horn clauses, which is what Prolog uses
Steven Deobald 2021-01-08T17:55:57.309900Z
Hm, yeah. Hakan's pointed me to a couple papers that define grammars as well, but it doesn't seem very consistent.
quoll 2021-01-08T18:02:07.314500Z
academia rarely is
Steven Deobald 2021-01-08T20:32:03.314800Z
heh