@dlakelan @mcc If you haven't, the book The Reasoned Schemer introduces usage of minikanren and even includes instructions on how to write your own! (Best if you've already read The Little Schemer, but not a requirement)