A port of Bodil's LolKanren to Ruby