Datalog is a query language that has been used to great effect in projects like datascript, datomic and recently a reimplementation of datomic in rust. I suggest that we do so in Hoon. We have many deeply nested datastructures that having a uniform library to express queries over (as opposed to the variety of dsls hoons core library offers for each type) should be quite powerful.