https://github.com/elzibus/the-reasoned-schemer

Code related to the book : "The Reasoned Schemer"
https://github.com/elzibus/the-reasoned-schemer

book scheme

Last synced: about 2 months ago
JSON representation

Code related to the book : "The Reasoned Schemer"

• Host: GitHub
• URL: https://github.com/elzibus/the-reasoned-schemer
• Owner: elzibus
• License: unlicense
• Created: 2022-05-03T17:11:38.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-06-17T09:37:35.000Z (over 2 years ago)
• Last Synced: 2023-10-26T19:28:45.181Z (about 1 year ago)
• Topics: book, scheme
• Language: Scheme
• Homepage:
• Size: 8.79 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# The-Reasoned-Schemer

Code related to the book : "The Reasoned Schemer", 2nd edition (https://mitpress.mit.edu/books/reasoned-schemer-second-edition).

The microKanren implementation is taken from the book's repository: https://github.com/TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd

This repository contains simple examples of microKanren which re-implement some code taken from:

1. SICP ( https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book.html ). Classic programming book (which uses scheme) and covers some logic programming.

2. "Clause and Effect" ( https://rd.springer.com/book/10.1007/978-3-642-58274-5 ). Prolog programming book.