Home

Created by [Doug Lenat](http://en.wikipedia.org/wiki/Automated_Mathematician)

Prolog Version by [Bruce Porter](http://www.cs.utexas.edu/~porter), Ray Bareiss, Adam Farquhar, M.V. LaPolla, Kim Matocha, Ken Murray, Martin Purvis, and Todd Stock