Lisp Program

Every LISP expression is evaluated
- Symbolic atoms like integers, reals and
strings evaluate to themselves
- Other symbolic atoms like variables evaluate to
the value of their bindings
- A list is assumed to have a function specification as
it first element; the remaining elements are passed as arguments to this
function