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