For years, the first edition was a staple in advanced programming language courses, introducing thousands of students to the mechanics of logic engines like Prolog, but through the elegant lens of functional programming.
432 pages
With the release of the , authors Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, and Jason Hemann have refined this classic text, making it more accessible while diving deeper into the "miniKanren" language. the reasoned schemer second edition pdf