datomic

Dave Liepmann 2026-01-16T14:43:38.206739Z

I ported the examples in https://www2.cs.sfu.ca/CourseCentral/721/jim/DatalogPaper.pdf to Datomic-flavored Datalog, and it ended up a tiny minimal example of recursion with rules: https://github.com/daveliepmann/examples-from-what-you-always-wanted-to-know-about-datalog

🆒 4
🙌 1
Joe Lane 2026-01-16T17:26:59.661999Z

Query stats would be interesting to post along side the program

Joe Lane 2026-01-16T17:29:46.468089Z

Also could be fun to make a family tree generator to create a billion people and see how the perf changes as the system grows

👩‍👦‍👦 1
Joe Lane 2026-01-21T17:34:20.702969Z

If you want to see wall-clock ordering, you can always throw a call to (tap> into the clauses and add-tap something like conj on a vector