La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.

En este libro, la programación funcional se ejemplifica con Scheme, lenguaje (si bien impuro, ya que, por ejemplo, sus estructuras de datos no son inmutables) dialecto de Lisp. Desarrollado por Guy L. Steele y Gerald Jay Sussman en la década de los setenta e introducido en el mundo académico a través de una serie de artículos conocidos como los Lambda Papers de Sussman y Steele, la filosofía de Scheme es decididamente minimalista. Su objetivo no es acumular un gran número de funcionalidades, sino evitar las debilidades y restricciones que hacen necesaria su adición. Así, Scheme proporciona el mínimo número posible de nociones primitivas, construyendo todo lo demás a partir de un reducido número de abstracciones. Por ejemplo, el mecanismo principal para el control de flujo son las llamadas recursivas finales.

En esta segunda revisión del manual, encontraremos respuestas a preguntas como:

• ¿Qué es la programación funcional?
• ¿Qué es la negación dura en lógica de programación?
• ¿Cómo puedo resolver puzzles lógicos?
• ¿Cómo se implementa la programación lógica?