Another dimension in the evolution was the gradual appreciation of modularity. As the knowledge base grew, so did the problem of inference efficiency. I will mention two methods they used to fight this problem.
