对于产生式系统的实验，正向推理的正确详尽的编写。