The logic theorist in LISP†

†Work performed under the auspices of the U.S. Atomic Energy Commission.

Abstract

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.

†Work performed under the auspices of the U.S. Atomic Energy Commission.

†Work performed under the auspices of the U.S. Atomic Energy Commission.

Notes

†Work performed under the auspices of the U.S. Atomic Energy Commission.