replikativ / datalog-parser

Generic datalog parser compliant to datomic, datascript and datahike queries.
Eclipse Public License 2.0
71 stars 11 forks source link

Update pull grammar #27

Closed jsmassa closed 1 year ago

jsmassa commented 1 year ago

Closes #25.

Notes: 1) The grammar documented in the Datomic docs is not correct as it implies that only one option can be used with each attribute, but Datomic allows multiple options. 2) Datomic's parser does not seem to validate the keys in the options list, but instead simply ignores everything that it doesn't know including the valid keys as strings or symbols. However, this parser only accepts valid keyword options and with that is a lot stricter. This is nothing new, but something to keep in mind. 3) There is a new option named :x-form in the docs which we should think about to introduce.