;andを使った場合

(define (assoc key alist)
 (let loop ((ls alist))
  (and (pair? ls)
     (if (equal? key (caar ls))
       (car ls)
       (loop (cdr ls))))))

;andを使わない場合

(define (assoc key alist)
 (let loop ((ls alist))
  (cond ((null? ls)
       #f)
      ((equal? key (caar ls))
       (car ls))
      (else
       (loop (cdr ls))))))