很综合~有源代码~基于规则产生式系统结构~正逆向推理过程分析