https://github.com/formsandlines/reasoned-schemer-notebook
My code notebook for “The Reasoned Schemer” (2nd ed.) using Clojures core.logic
https://github.com/formsandlines/reasoned-schemer-notebook
Last synced: about 2 months ago
JSON representation
My code notebook for “The Reasoned Schemer” (2nd ed.) using Clojures core.logic
- Host: GitHub
- URL: https://github.com/formsandlines/reasoned-schemer-notebook
- Owner: formsandlines
- Created: 2022-06-28T21:53:10.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2022-07-24T19:53:16.000Z (almost 3 years ago)
- Last Synced: 2025-03-15T00:48:01.097Z (about 2 months ago)
- Language: Clojure
- Size: 39.1 KB
- Stars: 3
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# “The Reasoned Schemer” Notebook
My personal notebook for learning/exploring logic programming with [The Reasoned Schemer (2nd ed.)](https://mitpress.mit.edu/books/reasoned-schemer-second-edition), using Clojures [core.logic](https://github.com/clojure/core.logic) library.
Maybe some of this helps others who also try to use Clojure with the book instead of Scheme. I cannot guarantee that I got everything right, so please correct me if you happen to notice a mistake in my understanding or translation.
– P. H., 06/2022