Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Also, is there a good “Why Logic Programming” talk/article? Something aimed at general audience developer’s? Preferably something that doesn’t point to Prolog as the end-all-be-all of LP.

Are you aware of mini-kanren and Barliman? <https://www.youtube.com/watch?v=er_lLvkklsk>
<http://minikanren.org/>

I’m vaguely aware of mini kanren, and loved Byrd’s talk on “the most beautiful program ever written”. I’ll check this out!

We touch on logic programming in the most recent podcast episode <https://futureofcoding.org/episodes/040>

tim has episodes on logic programming, i watched the first one and its really approachable. <https://tbaldridge.pivotshare.com/media/logic-programming-episode-6-/9727>