In practice these theorem provers and general problem solvers were seldom useful for practical applications and required specialized users with knowledge of logic to utilize.
With the rise in popularity of expert systems many new types of automated reasoning were applied to diverse problems in government and industry.