Harry R. Schwartz

Yesterday was the MIT Press’ Loading Dock Sale, where a dedicated book-scrounger can find some pretty wonderful deals.

Behold, my mighty haul:

• Sterling & Shapiro, The Art of Prolog
• Bergadano & Gunetti, Inductive Logic Programming
• Friedman & Felleisen, The Seasoned Schemer
• Gunter, Semantics of Programming Languages
• Forbus & De Kleer, Building Problem Solvers
• Winsky, The Formal Semantics of Programming Languages
• Sestoft, Java Precisely
• Anderson, An Introduction to Neural Networks
• Minsky & Papert, Perceptrons

I also picked up a dozen or so other, less CS-ful books.¹ There are some busy months of reading ahead of me.

I’m especially excited to read those first two books on logic programming; I’ve played with Prolog here and there, but I’ve never really done a deep dive into it. According to Joe Armstrong, Prolog was one of the main inspirations for Erlang², so I’m looking forward to contrasting the two.

I’m also looking forward to The Seasoned Schemer. I really enjoyed taking 6.S184 at MIT this winter, and I’m curious to see if there’s anything neat in here that SICP doesn’t cover.