The Logic Theory Machine

A Model Heuristic Program

by Einar Stefferud


Full Document

FormatFile SizeNotes
PDF file 4.9 MB

Use Adobe Acrobat Reader version 10 or higher for the best experience.


Purchase Print Copy

 FormatList Price Price
Add to Cart Paperback196 pages $45.00 $36.00 20% Web Discount

A highly detailed program listing for the Logic Theory Machine (LT), a computer program written in Information Processing Language-V (IPL-V), and developed especially for use as a pedagogical model. The text portions expand on the documentation in the listing, tracing program flow, analyzing routines used, and providing insight into the structure and development of the program. LT was originally programmed in an early version of IPL to derive proofs of logic expressions in the sentential calculus of Whitehead and Russell. In rewriting it for use as a teaching aid, a new method of replacement on sub-expressions has been included, and many minor changes effecting improvements in clarity have been incorporated. Features of the code that were unjustifiably hard to explain have been simplified. LT can be implemented on any computer for which an IPL-V processor is available.

This report is part of the RAND Corporation Research memorandum series. The Research Memorandum was a product of the RAND Corporation from 1948 to 1973 that represented working papers meant to report current results of RAND research to appropriate audiences.

Permission is given to duplicate this electronic document for personal use only, as long as it is unaltered and complete. Copies may not be duplicated for commercial purposes. Unauthorized posting of RAND PDFs to a non-RAND Web site is prohibited. RAND PDFs are protected under copyright law. For information on reprint and linking permissions, please visit the RAND Permissions page.

The RAND Corporation is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.