12.3 推理引擎程序设计