The logic theorist in LISP†
Rachel A. Millstein · International Journal of Computer Mathematics · 1968
A version of the Logic Theory Machine of Newell, Shaw and Simon was written in LISP 1.5 on an IBM-7094. The program provides an experimental model for form-map, a method of information storage and retrieval particularly suited for list structures. The program was able to prove 17 out of 20 theorems from Principia Mathematica in 21.5 seconds.