MiniKanren conso

Rather straight forward..

(cons a d) == p

(define conso
  (lambda (a d p)
      (== (cons a d) p)))