Un programa es una descripción abstracta de una solución general para resolver un problema específico. Normalmente está escruto en un lenguaje formal llamado lenguaje de programación. El propósito principal de un programa es ser entendido por otras personas al tiempo que otorga una suerte de conocimiento sobre su propia estructura a quienes lo leen. Para conseguir así la máxima legibilidad, un programa de cumplir ciertos requisitos:

• Debe ser pequeño y unifome
• Debe estar libre de ambigüedades
• Debe proporcionar una alto grado de abstracción
• Debe ser independiente de la arquitectura concreta de un sistema

Para alcanzar cada una de estas características, se requiere cierta práctica en el desarrollo de software así como la aplicación de determinadas fórmulas que se han demostrado válidas a la hora de estructurar un programa.

El objetivo de este libro es encauzar al lector dentro de las buenas prácticas a la hora de afrontar un desarrollo, creando soluciones generales a problemas lógicos.

El lenguaje utilizado para ilustrar este manual es una variante minimalista de Scheme llamada "zenlisp". Sin embargo, todos los ejemplos y escenarios son extrapolables a cualquier otro lenguaje de programación.