MiniKanren cdro

Definition

Similar to MiniKanren caro

(define cdro
  (lambda (p d)
    (fresh (a)
      (== (cons a d) p))))

With conso

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