人工智能中的经典算法。用c++实现推理规则。用来实现动物，并且能够动态添加条件。