This is wonderful. I’ve recently been very obsessed with Datalog implementations like Datomic, Datascript, Datalevin, and XTDB. Hopefully learning prolog can be

This is wonderful. I’ve recently been very obsessed with Datalog implementations like Datomic, Datascript, Datalevin, and XTDB. Hopefully learning prolog can be a good next step. It’s nice to see the rust community jumping into that space.