*Kanren implementation

Would be nice to have one of these: https://github.com/rgc69/si-kanren https://codeberg.org/cage/cl-kanren/ as Clojure has core.logic and Prolog has itself.

Didn't try them before so I can't really comment on their quality. si-kanren seems more interesting to me, at a first glance.