Patterns with Wild Sequences and Restricted Wild Cards
> (match '(a (* x)) '(a b c d))
((X B C D)) (:YES . :YES))
> (match '(he is (numberp x)(* y))
'(he is twenty-five years old))
> (match '(he is (numberp x)(* y))
((X . 25)(Y YEARS OLD)(:YES . :YES))