Signed in
We value your privacy
This site uses cookies to improve your browsing experience, analyze site traffic, and show personalized content.
Logic Theorist It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".