This repository provides an implementation and recreation of the first published version of the Logic Theory Machine, also known as the Logic Theorist. Originally developed by Allen Newell, J. C. Shaw, and Herbert A. Simon in 1956, this program was designed to prove theorems in propositional logic using principles from Principia Mathematica. The project includes a Python-based interpreter for the IPL-I abstract machine language, tools to run the program against historical axioms and theorems, and utilities to analyze generated proofs.
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
Main components:
Implementation of the 1956 Logic Theory Machine
Propositional logic based on Principia Mathematica
Python interpreter for the IPL-I language
Tools for running simulations and verifying results
Jeff Shrager has reanimated LT in IPL-V with a new implementation.
Information Processing Language (IPL) is a programming language created by Allen Newell, Cliff Shaw, and Herbert A. Simon at RAND Corporation and the Carnegie Institute of Technology in 1956. IPL introduced concepts like list processing, dynamic memory allocation, recursion, and cooperative multitasking. It was an assembly language for manipulating lists and influenced several early AI programs. However, it was soon replaced by Lisp due to its more powerful features and simpler syntax.
