Fork me on GitHub
#datalog
<
2022-08-17
>
stopa19:08:59

Hey team curious q: Is there a “language spec” for datalog, similar to https://www.w3.org/TR/2013/REC-sparql11-query-20130321/ ?

refset19:08:00

For edn-style Datalog, not that I've seen. Prolog-style Datalog is well-defined but I've never seen anything quite as authoritative as the doc you linked (but it's much simpler in scope than edn-style...so the benefit of going through the motions of writing a distinct spec is limited)

👍 2
Steven Deobald20:08:54

@U0C5DE6RK Håkan (xtdb's architect) has told me on multiple occasions that this is probably as close as we'll ever get: https://www2.cs.sfu.ca/CourseCentral/411/jim/DatalogPaper.pdf As @@refset says, there isn't much for edn Datalog.

stopa21:08:04

Thanks team!