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

Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally. The goal of The Reasoned Schemer is to help the functional programmer think logically...