Chicken port of the canonical miniKanren