MiniKanren implementation in Ruby