By inference based on the argument presented above, one can assume that a large number of the possible programming errors were never made, resulting in tremendous gains in quality.
根据上面提出的论点进行推理，可以设想不再出现大量可能的程序设计错误，促使质量上极大的进步。
Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
应用推荐