A Proof-Checker for Predicate Calculus,

reportActive / Technical Report | Accession Number: AD0785053 | Need Help?

Abstract:

A program that checks proofs in J. A. Robinsons formulation of predicate calculus has been programmed in LISP 1.5. The program is available in CTSS at Project MAC and is also available as a card deck. The program is used for class exercises at Stanford. Author

Author(s):
Mccarthy, John
Author Organization(s):
STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE
Supplementary Note:
Report on Stanford Artificial Intelligence Project.
Pagination:
0010

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
AI Memo-27
Contract/Grant Number(s):
SD-183
 Subject Terms
Communities of Interest:
No COI(s) Identified
Descriptor(s):
*Computer programming, *Mathematical logic, Theorems
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
Predicate calculus, LISP 1 5 programming language, Axioms
Report Date:
1965 Mar 03