datalog

quoll 2020-08-07T00:12:58.102700Z

Cool. Asami also does this (it can be turned off), although there isn’t any reporting of which path it uses.

quoll 2020-08-07T00:14:41.102900Z

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?