完成运程推理功能