HackerTube / Video
miniKanren - Dan Friedman and William Byrd
ClojureTV
Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk. It includes generating programs by running relations in reverse.
HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.
3 Hacker News mentions · 2013–2018