The Reasoned Schemer

The goal of The Reasoned Schemer is to help the functional programmerthink logically and the logic programmer think functionally. The authors of TheReasoned Schemer believe that logic programming is a natural extension of functionalprogramming, and they demonstrate this by extending the functional language Schemewith logical constructs -- thereby combining the benefits of both styles. Theextension encapsulates most of the ideas in the logic programming languageProlog.The pedagogical method of The Reasoned Schemer is a series of questions andanswers, which proceed with the characteristic humor that marked The Little Schemerand The Seasoned Schmer. Familiarity with a functional language or with the firsteight chapters of The Little Schemer is assumed. Adding logic capabilities requiredthe introduction of new forms. The authors' goal is to show to what extent writinglogic programs is the same as writing functional programs using these forms. In thisway, the reader of The Reasoned Schemer will come to understand how simple logicprogramming is and how easy it is to define functions that behave likerelations.