 |
The Reasoned Schemer
Be the First to Write a Review and tell the world about this title!People who purchase this book frequently purchase: - The Seasoned Schemer; Daniel P. Friedman, et al, $20.50, 21% Off!
- Little Schemer, 4th Edition; Daniel P. Friedman, et al, $21.50, 20% Off!
- Structure and Interpretation of Computer Programs; Harold Abelson, et al, $62.50, 24% Off!
- The Little MLer; Matthias Felleisen, et al, $23.50, 22% Off!
Books on similar topics, in best-seller order:Books from the same publisher, in best-seller order:
The goal of The Reasoned Schemer is to help the functional programmer think logically
and the logic programmer think functionally. The authors of The Reasoned Schemer
believe that logic programming is a natural extension of functional programming,
and they demonstrate this by extending the functional language Scheme with logical
constructs -- thereby combining the benefits of both styles. The extension encapsulates
most of the ideas of Prolog, the most well-known logic programming language.
The pedagogical method of The Reasoned Schemer is a series of questions and
answers. Familiarity with a functional language or with the first eight chapters
of The Little Schemer is assumed. Adding logic capabilities required the introduction
of new forms. The authors' goal is to show to what extent writing logic programs
is the same as writing functional programs using these forms. In this way, the
reader of The Reasoned Schemer will come to understand how simple logic programming
is and how easy it is to define functions that behave like relations.
About the Authors
Daniel P. Friedman is Professor of Computer Science at Indiana
University and is the author of many books published by the MIT Press, including
The Little Schemer (fourth edition, 1995), The Seasoned Schemer (1995), A Little
Java, A Few Patterns (1997), each of these coauthored with Matthias Felleisen.
William E. Byrd is a PhD candidate in Computer Science at Indiana
University.
Oleg Kiselyov is a computer scientist from Monterey, California.
|
|
