ipl

Recreation of the first published version (1956, IPL-I) of the Logic Theorist theorem prover, a seminal AI program by Newell, Shaw, and Simon, with runnable Python code and documentation.