MiniKanren memberrevo

;; Goal is to see if x is member of l => succeed
(define membero
  (lambda (x l)
    (conde
      ;; x is not a member of an empty list
      ((nullo l) #u)
      (#s
        (fresh (d)
          (cdro l d)
          (membero x d))))))
      (else (eq-caro l x))