MiniKanren answer

(conde
  (#f #s) ;; #f is the question, #s is the answer
  (else #u)) ;; #u is the answer