AM
Developed by Douglas Lenat at Stanford in 1977.
Simulated the activities of a mathematician, exploring number theory, coming up with conjectures and testing them empirically.
Contained knowledge encoded as production rules.
Came up with an explicit representation for the concept of prime numbers.