Skip to content
/ am Public

Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977

Notifications You must be signed in to change notification settings

white-flame/am

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 

Repository files navigation

Douglas Lenat's AM from SAIL archives circa 1977

These files are extracted from the SAILDART archive maintained by Bruce Baumgart, in Douglas Lenat's AM section here: https://www.saildart.org/[AM,DBL]/

The accompanying PhD thesis can be found here: https://apps.dtic.mil/sti/pdfs/ADA155378.pdf

Execution environment

Quoted from the thesis, page 124:

Machine: SUMEX, PDP-10, KI-10 uniprocessor, 256k core memory.

Language: Interlisp, January '75 release, which occupies 140k of the total 256k, but which
provides a surplus "shadow space" of 256k additional words available for holding compiled
code.

Notes

LT is the initial loader file, which will load the others. While the thesis notes that the file TOP6 will be loaded, at some point this was split into loading TA and TB.

The CON6 file is much newer than the others. While I grabbed the newest version, older versions still exist on the archive above and might be required instead.

Any other applicable files found in the SAILDART archive such as documentation or demonstration logs should be committed here as well. A general description of the DBL areas can be found in the EURISKO project wiki.

This should be in the public domain, or international equivalent, as it was funded by the USA government through ARPA. The thesis additionally encourages others to copy, modify, and use the software.

Discord: https://discord.gg/vhsmVCwgvK

About

Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published