Experiments around µKanren Starting from the µKanren described in Hemann & Friedman 2013, I mess around a bit.