Lists are a natural representation for sequential operation, and form the basis of the LISP (short for LISt Processing) programming languages. Scheme LISP was chosen as the starting point for Sol, because Scheme LISP provides a particularly elegant and syntax for expressing sequential computation. Sol supports all R4 Scheme constructs1.3.