(defun p-match (p v env)
  (cond
   ((null p) nil)
   ((eql p '_) env)
   ((atom p) (acons p v env))
   (t (p-match (car p) (car v)
               (p-match (cdr p) (cdr v) env)))))