Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977 - View it on GitHub