List Equality with WildCards

A wildcard matches any one element:

(defun match3 (p s)

(cond

((null p)(null s))

((or (atom p)(atom s)) nil)

((equalp (car p) (car s))

(match3 (cdr p)(cdr s)) )

((eq (car p) '?)(match3 (cdr p)(cdr s)))

(t nil) ) )

(match2 '(a ? c) '(a b c) ; => T

(match2 '(a ? c) '(a b d c) ; => NIL