MiniKanren reverse-list

(define reverse-list
  (lambda (l)
    (run (y)
      (memberrevo y l))))