Reanimation of the original Logic Theorist, the first AI, in IPL-V [video]

The linked github repo for an easier-to-skim start <a href="https:&#x2F;&#x2F;github.com&#x2F;jeffshrager&#x2F;IPL-V">https:&#x2F;&#x2F;github.com&#x2F;jeffshrager&#x2F;IPL-V</a>

This is the Logic Theorist: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Logic_Theorist" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Logic_Theorist</a><p>I love Simon&#x27;s anecdote of using his wife and children as the stack as he developed IPS.<p>This eventually was replaced by GPS, which has a good description in Norvig&#x27;s Paradigms of Artificial Programming, here: <a href="https:&#x2F;&#x2F;github.com&#x2F;norvig&#x2F;paip-lisp">https:&#x2F;&#x2F;github.com&#x2F;norvig&#x2F;paip-lisp</a>

Really exciting to see so many of the early systems revived. Eliza, Logic Theorist, SHRDLU ( <a href="https:&#x2F;&#x2F;hci.stanford.edu&#x2F;winograd&#x2F;shrdlu&#x2F;" rel="nofollow">https:&#x2F;&#x2F;hci.stanford.edu&#x2F;winograd&#x2F;shrdlu&#x2F;</a> , I had thought this one was lost). Any other favorites?

This video is charming