William Byrd & Daniel Friedman

miniKanren Philosophy

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.

About the Speaker

William E. Byrd is a Postdoctoral Fellow at the Center for Research in Extreme Scale Technologies (CREST) at Indiana University. He is co-author of The Reasoned Schemer, and co-designer of several declarative languages: miniKanren (logic programing), Harlan (GPU programming), and Kanor (cluster programming). His StarCraft 2 handle is 'Rojex' (character code 715).

Daniel P. Friedman is Professor of Computer Science at Indiana University. He is co-author of The Little Schemer, The Seasoned Schemer, The Reasoned Schemer, The Little MLer, A Little Java: A Few Patterns, Scheme and the Art of Programming, and Essentials of Programming Languages, 3rd Edition, all published by MIT Press.