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))