Home
computers
The Reasoned Schemer

The Reasoned Schemer, second edition

by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov and Jason Hemann

Foreword by Guy L. Steele Jr. and Gerald Jay Sussman

Afterword by Robert A. Kowalski

$40.00 Paperback
eBook
Rent eTextbook

208 pp., 7 x 9 in, 13 b&w illus.

Paperback
9780262535519
Published: March 9, 2018
Publisher: The MIT Press

$40.00

eBook
9780262348782
Published: March 2, 2018
Publisher: The MIT Press

$39.99

MIT Press Bookstore
Penguin Random House
Amazon
Barnes and Noble
Bookshop.org
Indiebound
Indigo
Books a Million

Other Retailers:

MIT Press Bookstore
Penguin Random House
Amazon
Barnes and Noble
Bookshop.org
Indiebound
Indigo
Books a Million
Amazon.co.uk
Blackwells
Bookshop.org
Foyles
Hive
Waterstones

Request exam/desk copy
Request permissions

Description
Author(s)
Resources

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.

The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programming. The book shows how to implement a relational programming language in Scheme, or in any other functional language, and demonstrates the remarkable flexibility of the resulting relational programs. As in the first edition, the pedagogical method is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first five chapters of The Little Schemer is assumed.

For this second edition, the authors have greatly simplified the programming language used in the book, as well as the implementation of the language. In addition to revising the text extensively, and simplifying and revising the “Laws” and “Commandments,” they have added explicit “Translation” rules to ease translation of Scheme functions into relations.

Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann).

William E. Byrd is a scientist in the Department of Computer Science at the University of Alabama at Birmingham.

Oleg Kiselyov is Assistant Professor in the Graduate School of Information Sciences at Tohoku University, Japan.

Jason Hemann is a PhD candidate in the School of Informatics, Computing, and Engineering at Indiana University.

Gerald Jay Sussman is Panasonic Professor of Electrical Engineering at MIT.

Code from The Reasoned Schemer, Second Edition

Books

Authors

On the site

The Reasoned Schemer, second edition

The Reasoned Schemer, second edition

Related Books