Accession Number : AD0641194

Title :   A FORTRAN IV GENERAL - PURPOSE DEDUCTIVE PROGRAM,

Corporate Author : WESTERN MANAGEMENT SCIENCE INST UNIV OF CALIFORNIA LOS ANGELES

Personal Author(s) : Quinlan,J. R.

Report Date : AUG 1966

Pagination or Media Count : 47

Abstract : A deductive program (written in FORTRAN IV) which has solved problems of several different types without reprogramming is introduced. A set of general heuristics which have been found suitable for many kinds of problems is constructed. Some examples of output are given in an appendix. (Author)

Descriptors :   (*COMPUTER PROGRAMMING, *MATHEMATICAL LOGIC), PROGRAMMING LANGUAGES, PROBLEM SOLVING, THEOREMS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE