Reanimation of the original Logic Theorist, the first AI, in IPL-V [video]
youtube.comThe 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?
SHRDLU was written in Lisp, albeit a pre-CL list. So it was quite easy to bring up by writing macros that make CL work like older Lisps. We did the same thing with Bernie Cosell's ELIZA:
Although IPL is a direct Lisp predecessor, it can't be easily mapped to Lisp. Indeed, Lisp and IPL-V were contemporaneous for about 5 years, but Lisp was so much simpler and more elegant that it rapidly supplanted IPL. As a result, Ed Feigenbaum and I are probably the only living person who know IPL (and I only barely know it as I just learned it in the past few months!), whereas Lisp has been essentially endemic for 60 years! (I'm hoping I'm wrong that Ed and I are the only folks who know IPL. If you know of a native IPL speaker who I could talk to, I'd love you to DM me!)https://sites.google.com/view/elizagen-org/eliza-clones
This video is charming
I really enjoyed having the kids introduce it