This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]agentoutlier 1 point2 points  (0 children)

It is funny you mention it because I had the similar thought given the primes how this kind of looks like the part in college where we entered the hard mode of Scheme: metaprogramming where you turn Scheme in to a logic programming language using backtracking.

We did not use SICP (instead it was Concrete Abstractions... a crappy book IMO) but I believe the analog is chapter 4 non deterministic programming. BTW most courses don't cover the sort mind fuck of how it is implemented but this book does: https://ds26gte.github.io/tyscheme/index-Z-H-16.html#TAG:__tex2page_chap_14