Cool. Asami also does this (it can be turned off), although there isn’t any reporting of which path it uses.
I’m also curious about what you mean by “Rules”. Is this queries built from queries, as Datomic does, or is it about creating new database operations (like assertions) based on existing data, as per Datalog Horn clauses?
Thanks everyone! quoll, it’s the former for now — Datomic-style query rules rather than Datalog Horn rules :)
1👍@taylor.jeremydavid could I for the most part use Crux as a drop-in replacement for Datomic with regard to my query rules? IOW would I have to rewrite them for Crux?
The rule syntax is very similar IIRC, but it ultimately depends on what's inside the rules. Like you might need to write a few extra predicates for Crux to recreate some built-ins that Crux doesn't provide out of the box. Equally for destructuring
Does Crux do not
and not-join
?
Yep! It's worth a skim through this ns https://github.com/juxt/crux/blob/master/crux-test/test/crux/query_test.clj
Thanks a lot 🙂
1🙏