Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jan 17, 2013
David Nolen's popular core.logic library is based on miniKanren, a relational (logic) language embedded in Scheme. Two of the designers of miniKanren, William Byrd and Daniel Friedman, will describe the philosophy behind the design and implementation of miniKanren, and explain their thought process when writing miniKanren programs. They will also discuss the strengths and weaknesses of miniKanren, demonstrate several experimental language extensions, and explain what's next in the development of miniKanren.