3 ms·

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

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.)

kragen 7y ago
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-minikanren/ https://www.infoq.com/interviews/byrd-relational-programming.... But also, there's a summary on http://minikanren.org/ http://minikanren.org/, with links to the papers and talks, and an older summary on https://kanren.sf.net/ 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 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.