qm.scm

(define (match pat thing)
  (cond
   ((null? pat) 'yes)
   ((null? thing) 'no)
   ((eq? (car pat) '*) (match (cdr pat) (cdr thing)))
   ((eq? (car pat) '**) (match (cdr pat) (cdr thing)))
   ((eq? (car pat) (car thing))  (match (cdr pat) (cdr thing)))
   (else 'no)))

(match '(* y z) '(z y z))





(match-until 'y '(z y z))
   -> = y z, false, collect z
   -> = y y, true, return collected