She can play along on the computer by installing mit-scheme (http://www.gnu.org/software/mit-scheme/) and placing the snippet below into ~/.scheme.init
(define atom?
(lambda (x)
(and (not (pair? x)) (not (null? x)))))
(define lat?
(lambda (l)
(cond
((null? l) #t)
((atom? (car l)) (lat? (cdr l)))
(else #f))))
(define member?
(lambda (x l)
(cond
((null? l) #f)
((eq? (car l) x) #t)
(else (member? x (cdr l))))))
(define mber?
(lambda (a lat)
(cond
((null? lat) #f)
(else (or (eq? (car lat) a)
(mber? a (cdr lat)))))))