Maybe try a Ruby Kanren implementation: https://minikanren.org/ https://minikanren.org/ uKanren is conceptually small and simple, here's a Ruby implementation

Maybe try a Ruby Kanren implementation: https://minikanren.org/ https://minikanren.org/ uKanren is conceptually small and simple, here's a Ruby implementation: https://github.com/jsl/ruby_ukanren https://github.com/jsl/ruby_ukanren