Doug Lenat's source code for AM and EURISKO