以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.　介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的Strips算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.　以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.　当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.