Inference control language (ICL) is used to describe expert knowledge and to control the reasoning procedure.

• 此外 ,系统还引入了一种专用高级语言 :推理控制语言 ICL,用于描述和操作专家知识与规则 ,并控制推理过程