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