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.
"Contrary to popular belief, logic programming doesn't always mean
programming in Prolog. In this groundbreaking book, Friedman and
Kiselyov extend Scheme to form a completely new kind of logic
programming system, one which is in many ways even more elegant
than Prolog. Written in the same classic question-and-answer format
as the authors' previous book "The Little Schemer, The Reasoned
Schemer" covers goals, first-class relations, interleaved and
non-interleaved backtracking, the relationship between relational
and functional programming, and much more. Reading this book will
not only cause your geek rating to skyrocket and impress all the
Cool Kids, it will also open your eyes to a paradigm of programming
which most programmers are completely unaware of, but which will
undoubtedly play a significant role in the programming systems of
the future. More importantly, though, this book is great fun to
read and will make you a better programmer."--Michael Vanier,
Caltech
"Some programmers are particularly fascinated by new ways of
thinking about programming and computation. But few programmers
have much experience with logic programming, and fewer still
understand its essence. There has never been a more engaging
presentation of this material, or a clearer view all the way to the
bottom. Like the other Little books, this book is sure to broaden
your horizons. And in fact, this one has the broadest horizons
yet."--Matt Hellige, Researcher, Accenture Technology Labs
"The Little books are unique in the way they combine deep and
subtle ideas with hands-on humorous presentation. "The Reasoned
Schemer, " the latest book in the series, is no exception.
Friedman, Byrd, and Kiselyov provide a unique presentation of many
of the ideas behind logic programming, which is developed as a
natural--though subtle--extension of functional programming. For
perfecting your programming skills and style you cannot do better
than sit at the feet of Friedman and Kiselyov."--Ehud Lamm, Founder
of 'Lambda the Ultimate, ' the programming languages weblog
Ask a Question About this Product More... |