人工智能导论中基于产生式的动物专家识别系统的C++实现

可完成的功能有正向推理和逆向推理，正向推理可以根据事实指出运用了那些规则推出了何种结论；当事实不足以推出最终动物时，可以让用户继续添加事实，直到推出最终动物。逆向推理可以显示动态数据库。