Skip to content(if available)orjump to list(if available)

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

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

2 comments

·April 28, 2025
Visit

pvg

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

kjander79

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