[naasking]

Maybe try a Ruby Kanren implementation:

https://minikanren.org/

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