To put a finer point on it, Google's success is based on statistical machine learning, but interesting facts are rooted in expert rule systems and predicate logic.