MiniKanren consoRather straight forward..(cons a d) == p(define conso (lambda (a d p) (== (cons a d) p)))2020-10-17