ClojureTV
miniKanren - Dan Friedman and William Byrd
About this video
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.
