Relational Programming in miniKanren: Program Synthesis, Treating Rare Diseases, and More!

by William Byrd


miniKanren! Relational programming! Quines! Precision medicine!

What are these things? And what do they have to do with each other!?

Come find out! And learn about an aproach to programming—general purpose relational programming—that you didn’t know existed!


Will Byrd is a scientist at the Hugh Kaul Precision Medicine Institute at the University of Alabama at Birmingham. He is co-author of both editions of ‘The Reasoned Schemer’, and one of the creators of the miniKanren relational programming language. Will is also one of the creators of mediKanren, a system for bio-medical reasoning based on miniKanren, and funded under the NIH NCATS Biomedical Data Translator Project.

School of Computer and Cyber Sciences Augusta University