Type inference helps by automatically inferring type signatures, so that the user doesn't have to provide trivial type information manually.
类型推断帮助你自动推断类型签名，所以用户不用人工提供一般的类型信息。
The rules/inference engine is the part of the system that evaluates the rules based on the system state or user input.
系统中的规则/推论引擎根据系统状态或用户输入演算规则。
The system includes five modules: a knowledge base, a data base, an inference engine, user-computer interface and explanation facility.
系统由知识库、推理机、数据库、人机接口和解释机构等五个模块组成。
应用推荐