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
The linked github repo for an easier-to-skim start https://github.com/jeffshrager/IPL-V