MiniKanren pairo

Definition

(define pairo
  (lambda (p)
    fresh (a d)
      (conso a d p)))