pkrumins / the-reasoned-schemer
All the logic programming code examples from the book "The Reasoned Schemer"
☆51Updated 15 years ago
Alternatives and similar repositories for the-reasoned-schemer:
Users that are interested in the-reasoned-schemer are comparing it to the libraries listed below
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Hygienic Literate Programming for Chez Scheme