根据上面提出的论点进行推理，可以设想不再出现大量可能的程序设计错误，促使质量上极大的进步。
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.
自动程序设计系统APA使用类比推理技术，向过去经验学习编写新的LISP程序。
APA, an automatic programming system, can use analogical reasoning to learn from past experience and construct new LISP programs.
采用面向对象的程序设计构造蜗杆传动的知识库和实施推理策略，提出了啮合分析的优化计算方法。
To use object oriented programming method built knowledge storage and organon, put forward optimum calculative method for the mesh analysis.
文中使用PROLOG程序设计语言，推理机采用反向推理方式，构造一个企业管理决策专家系统。
The paper USES PROLOG programme design language and introduces reverse inference into inference engine. In this way, an expert system for enterprise management decision has been established.
逻辑程序设计语言hprolog是一种类prolog语言，它将主要作为一种推理数据库的查询语言。
Logic programming language HPROLOG is a prolog-like language. It is mainly a deductive database query language.
论文对其体系结构、知识表示模式、推理机制、程序设计方法及测试情况作了简要介绍。
The system structure, pattern of knowledge expression, reasoning mechanism, programming method and testing result are introduced briefly.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
应用推荐