Logic Theorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. [1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program". More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.