The sources of the first theorem prover (Logic Theorist) found! 2 September 2017

Even though the sources of Logic Theorist - Allan Newell and Herbert Simon’s first theorem prover and the first AI program - had been believed lost. The fuooll sources are part of technical report P-868 of the Rand Corporation (1956; see http://shelf1.library.cmu.edu/IMLS/MindModels/logictheorymachine.pdf.).