white-flame

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

eurisko. Doug Lenat's EURISKO from SAIL archives circa 1981

clyc. Port of Cyc to Common Lisp

eurisclo. Common Lisp port of Doug Lenat's EURISKO

vcs-checkers. Atari VCS Checkers Rev A Source Code, from Carol Shaw's scans of original listings