Post #3024181

@krismicinski@types.pl Yeah, I think I got the gist of all of this. Thanks! I'm finding a lot of the datalog literature that focuses on program transformations to be needlessly complicated compared to simple dataflow graph transformations (more common in the DB literature, it seems). Regardless, thanks for the perspective. I've context switched back to debugging annoying assembly and bootstrapping issues, so already forgot half of what I know about datalog.