El Arreglador Razonado- Daniel P. Friedman

El objetivo de The Reasoned Schemer es ayudar al programador funcional a pensar lógicamente y al programador lógico pensar funcionalmente. Los autores de TheReasoned Schemer creen que la programación lógica es una extensión natural de la programación funcional, y lo demuestran extendiendo el esquema de lenguaje funcional con construcciones lógicas, combinando así los beneficios de ambos estilos. La extensión encapsula la mayoría de las ideas en el lenguaje de programación lógica Prolog. El método pedagógico de The Razonado Schemer es una serie de preguntas y respuestas, que proceden con el humor característico que marcó The Little Schemerand The Seasoned Schmer. Se asume la familiaridad con un lenguaje funcional o con los primeros capítulos de The Little Schemer. La adición de capacidades lógicas requiere la introducción de nuevos formularios. El objetivo de los autores es mostrar hasta qué punto los programas de escritura son los mismos que escribir programas funcionales utilizando estos formularios. De esta manera, el lector de The Reasoned Schemer llegará a entender cómo es simple la programación lógica y lo fácil que es definir funciones que se comportan como enlaces.