Reasoned Schemer, second edition

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 f...