Symbolic programming
A simple example that could be used to introduce symbolic programming in Lisp:
(define men '(socrates plato aristotle))
(define (man? x)
(contains? men x))
(define (mortal? x)
(man? x))
;; test
> (mortal? 'socrates)
=> #tConjured this up while answering a question at stackoverflow.
