MiniKanren first-value

(define fist-value
  (lambda (l)
    (run1 (y)
      (membero y l))))