(defun match1 (p s)
  (cond ((atom p) (cond ((atom s) t)
                        (t nil)))
        ((atom s) nil)
	;; p is a list s is an atom
        ((match1 (first p) (first s)) (cond ((match1 (rest p) (rest s)) t)
					    (t nil)))
	(t nil)))