Conversation so far:
How does Artificial Intelligence come into play with Herbert A. Simon?
Herbert A. Simon was a pioneer in artificial intelligence, creating with Allen Newell the Logic Theory Machine and the General Problem Solver programs using the Information Processing Language.

Question: What was the Logic Theory Machine?
Self-contained rewrite: What was Simon Herbert's Logic Theory Machine?