Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover. - dmoews/logic-theorist