I wonder if the hangover from this is behind Will Byrd’s difficulties in getting tenure despite his truly groundbreaking work with miniKANREN. Maybe people just identify KANREN with Prolog and dismiss it?
(I know it's bad form to complain about downvotes, but this one is really puzzling me. Does someone think Will Byrd doesn't deserve tenure? How could anyone think that?)
Is there a good summary somewhere of what miniKANREN is and of the difficulties finding academic support for those of us who work in industry and don't know as much about the tenure system?
(FWIW I tried to help correct the downvotes. I personally believe very very few comments should be in the gray.)
As for what miniKanren is, there are a couple of books (one being Byrd's dissertation) and a lot of papers. I think maybe the best summary I've read is actually the interview transcript at https://www.infoq.com/interviews/byrd-relational-programming.... But also, there's a summary on http://minikanren.org/, with links to the papers and talks, and an older summary on https://kanren.sf.net/. Most of these are a bit hard to understand the significance of if you aren't already familiar with logic programming. The talk on https://www.youtube.com/watch?v=OyfBQmvr2Hc is a popular description of one of the most astonishing results; I haven't watched it but people tell me it's good.
As for understanding academia, yeah, I don't know.
(I know it's bad form to complain about downvotes, but this one is really puzzling me. Does someone think Will Byrd doesn't deserve tenure? How could anyone think that?)