The Reasoned Schemer

Daniel P. Friedman, Oleg Kiselyov, William E. Byrd, Jason Hemann — 2018

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