Logic Theorist

Symbolic artificial intelligence, a collection of methods based on human-readable symbolic representations, logic, and search, was the dominant paradigm of AI research from the mid-1950s until the mid…