I struggle to understand the Clojure/Datomic dialect, but I agree generally. I recommend Percival for playing around with Datalog in a friendly notebook environment online: https://percival.ink/ Although there’s no “ANSI SQL” equivalent standard across Datalog implementations, once you get a hang of the core idea it’s not too hard to understand another Datalog. I started a Percival fork that compiles the Datalog... - Source: Hacker News / about 1 year ago

You could theoretically use Datalog anywhere you're currently using a SELECT SQL statement - it's a declarative way to produce a set of tuples given some existing sets of tuples. But, Datalog is much better at deductive reasoning compared to SQL. There's a great interactive tutorial here: https://percival.ink/ You can also see how Souffle itself can be useful in this blog post:... - Source: Hacker News / over 3 years ago

I haven't written a parser with Chumsky, bit I've played with a little one a bit if you wanna see an example syntax. The error reporting for this project is implemented with `ariadne` which is also really slick. Parser: https://github.com/ekzhang/percival/blob/main/crates/percival/src/parser.rs Error reporting: https://github.com/ekzhang/percival/blob/main/crates/percival/src/errors.rs Datalog playground:... - Source: Hacker News / about 4 years ago

If you like that workflow you might love CheepCode[0] which I built specifically to support it! CheepCode connects to Linear and works on tickets as they roll in, submitting PRs to GitHub. [0] https://cheepcode.com. - Source: Hacker News / about 1 year ago