The reasoned schemer
by Daniel P. Friedman · first published 2005
56% recommend41% neutral3% critical
Why HN recommends it
Playful question-and-answer introduction to logic programming through miniKanren, in the same style as the other Schemer books. Suits Scheme programmers coming from Prolog or wanting to see how a logic language is built.
Summarised by Claude from recommending comments
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Mentions per year
What Hacker News says
Related books
2007–2026The seasoned schemer
Daniel P. Friedman
Recommended by 33 · mentioned by 4733 recommend · 47 mention33 recommend · 4733 recommend
2007–2026The Little Schemer
Daniel P. Friedman, Matthias Felleisen
Recommended by 288 · mentioned by 438288 recommend · 438 mention288 recommend · 438288 recommend
Little Prover
Daniel P. Friedman, Carl Eastlund, Duane Bibby
Recommended by 9 · mentioned by 189 recommend · 18 mention9 recommend · 189 recommend
2009–2026The art of Prolog
Leon Sterling, Ehud Yehuda Shapiro
Recommended by 36 · mentioned by 6536 recommend · 65 mention36 recommend · 6536 recommend
2018–2026The Little Typer
Daniel P. Friedman, David Thrane Christiansen
Recommended by 16 · mentioned by 3316 recommend · 33 mention16 recommend · 3316 recommend
2017–2019Visual Complexity
Manuel Lima
Recommended by 3 · mentioned by 33 recommend · 3 mention3 recommend · 33 recommend
2023–2026Little Learner
Daniel P. Friedman, Anurag Mendhekar
Recommended by 10 · mentioned by 1510 recommend · 15 mention10 recommend · 1510 recommend
2008–2025The little MLer
Matthias Felleisen
Recommended by 6 · mentioned by 116 recommend · 11 mention6 recommend · 116 recommend
…Sedgewick, Wayne - Introduction to Automata Theory, Languages, and Computation, Hopcroft, Motwani, Ullman Lesser known, but incredibly fun books: - Purely Functional Data Structures, Chris Okasaki - The Reasoned Schemer, Friedman, Byrd, Kiselyov (or a good Prolog book). After learning the foundations, you could branch out to a subfield that interests you. (Or as Frank Zappa has bluntly put it: “If you want to get laid,…
on “Ask HN: How to best acquire theoretical computer science knowledge?” ↗I'm looking forward to fogus's BOF summary. Dan Friedman (author of The Little Schemer, The Seasoned Schemer, The Reasoned Schemer, and many other excellent books and papers) and William Byrd were in attendance. They gave a pretty stunning presentation on miniKanren.
on “Clojure/core — (second conj)” ↗Just wanted to communicate how amazing it was to have two of the authors of The Reasoned Schemer (Dan Friedman, William Byrd) there this year. At the first Clojure/conj I was opening up its pages for the very first time. To find out that such a powerful computational model can be described in about…
on “UnConj” ↗Check out Datalog the query language used to interact with Datomic, www.learndatalogtoday.org William Byrd & Daniel Friedman wrote a book called the Reasoned Schemer, which walks through the implementation of a Prolog like logic language called MiniKanren, check out a recent presentation they gave where they show quite a few interesting examples and uses, http://2013.flatmap.no/danwill.html…
on “Prolog for Programmers” ↗Another good source is anything to miniKanren / uKanren, especially papers and talks by William Byrd. There's a book called the Reasoned Schemer by Daniel Friedman and William Byrd describing their take on a goal oriented language.
on “Ask HN: How would a goal-oriented programming language look like?” ↗There is The Reasoned Schemer. https://www.amazon.com/Reasoned-Schemer-MIT-Press/dp/0262535...
on “The birth of Prolog (1992) [pdf]” ↗Very nice work! Reminds me of "The Reasoned Schemer" by Daniel Friedman.
on “Show HN: A Clojure implementation of logic programming language in SICP” ↗A suggestion to anyone who's interested in logic languages, like prolog: Give The Reasoned Schemer by Daniel P. Friedman a try. It's an easy, fun book, with surprising depth if you give it some effort and thought. .
on “A “Hello World” Server in Prolog” ↗The Reasoned Schemer by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov https://mitpress.mit.edu/books/reasoned-schemer It's from the author of miniKanren on which LogicJS is based. There are implementations for…
on “LogicJS adds logic programming to JavaScript” ↗Some of you might recognize Daniel Friedman as the author of The Little Schemer. If you liked that book, you might check out The Reasoned Schemer. Short, accessible, and a bit mindbending, it offers a compelling introduction to logic programming that culminates in the "invention" of a Prolog-like DSL from basic Scheme primitives. Terrific little…
on “Barliman – real-time program synthesis to make the programmer's life easier” ↗…variety of books I've read recently that hasn't really taught me anything "new", but has connected dots between topics or given me better terms or frames of reference to discuss the topics. Technical: The Reasoned Schemer by Friedman, et al. Not using this for anything in particular, but I wanted to do something fun that was programming. It's been a very enjoyable read. About 2/3 through it but got distracted by moving…
on “Ask HN: What technical books are you reading?” ↗This is one of my two favorite books in The Little <X>er series. The other is The Reasoned Schemer. The Little Typer provides an introduction to dependent types. These can by used to guarantee things like "applying 'concat' to a list of length X and list of length Y returns a list of X+Y". It is also…
on “The Little Typer (2018)” ↗For anyone who finds this topic interesting, you might be interested in the following resources: http://minikanren.org/ The second edition of `The Reasoned Schemer` (MIT Press, 2018): https://mitpress.mit.edu/books/reasoned-schemer-second-editi... The Clojure/conj 2016 talk Greg Rosenblatt and I gave on Barliman: https://www.youtube.com/watch?v=er_lLvkklsk `A…
on “William Byrd on logic and relational programming, miniKanren (2014)” ↗…good author shows and doesn't tell because the things they're trying to share are just too large to be simply explained. I've also found the best CS books don't have to tell. I was recently reading the Reasoned Schemer and I immediately came to love the style they wrote it in. The author and the "reader" are just exploring something together at whatever rate makes sense. It's one of the few CS books I'd want to read…
on “Ender's Game is an Understated Story of Uncertainty” ↗…design your grammar to be LL(1) you can parse your language using recursive descent: you only need a fancy parser if you designed a more complicated grammar (why'd you do that?)) Recommended book: The Reasoned Schemer. It's a cute (maybe too cute) book that shows how to implement a logic programming language (~datalog) using scheme as a base language. The Wizard book (structure and interpretation of computer languages)…
on “Ask HN: Resources for building a programming language?” ↗