Datalog is fascinating, but the blog post makes me curious about more concrete impl-related follow-up questions.