mk-interp miniKanren interpreter in Scheme Written in the style of Indiana University's C311/B521 courses by Jason Hemann, Dan Friedman, and Will Byrd.