Haskell does some type inference, meaning it infers the types of elements from syntactic clues in a program, so you'll see me use some functions without declaring associated types.
In the design of interpretive program, employ preset text and path tagging method to get inference result and explanation of process in detail when users demand.
在解释程序的设计中，采用预置文本与路径跟踪法，可以在用户需要时给出推理结果和过程的详细解释。
3
Based on the feature of the expert system that the knowledge base and the inference engine are separate the shell function and the program function of the skeleton tool is researched.