Skip to content

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.