The linked github repo for an easier-to-skim start https://github.com/jeffshrager/IPL-V

This is the Logic Theorist: https://en.wikipedia.org/wiki/Logic_Theorist

I love Simon's anecdote of using his wife and children as the stack as he developed IPS.

This eventually was replaced by GPS, which has a good description in Norvig's Paradigms of Artificial Programming, here: https://github.com/norvig/paip-lisp

Really exciting to see so many of the early systems revived. Eliza, Logic Theorist, SHRDLU ( https://hci.stanford.edu/winograd/shrdlu/ , I had thought this one was lost). Any other favorites?

This video is charming