$LogicAI
The first AI program is generally considered to be the Logic Theorist, developed by Allen Newell and Herbert A. Simon in 1955. The Logic Theorist was designed to prove mathematical theorems by simulating human problem-solving techniques. It was able to solve problems from Principia Mathematica and is often regarded as one of the first steps towards the development of artificial intelligence.
