Eventually we chose the complex algorithm because it is more similar to the behavior of type inference elsewhere in the language.
最终我们选择了复杂算法，因为其更类似于语言中其他地方的类型推断行为。
That decision makes the language more consistent, makes the implementation more maintainable, and offers more opportunities to take advantage of future improvements in type inference.
该决策使语言更加一致、使实现更加易于维护以及提供更多机会以便充分利用将来在类型推断中的改进。
You saw examples of billing policies and syntax and language and taken a deeper dive into how the rules/inference engine works.
您看到了账单策略的示例以及语法和语言，了解了规则/推论引擎的工作原理。
It's a prototype that shows the possibilities of type inference in a Ruby-like language, rather than a new language for programmers to use.
这是一个原型，用来展现以一种类ruby语言而不是一种新语言来实现类型推断的可能性。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
This paper presents NDPIS, a parallel inference system with KLND as its Kernel Language.
本文介绍一个以KLND为核心语言的并行推理系统NDPIS。
Blurring control is a kind of computer digital controlling technology on the basis of blurring set theory, blurring language variable and blurring logical inference.
模糊控制是以模糊集合论、模糊语言变量及模糊逻辑推理为基础的一种计算机数字控制技术。
Fuzzy logic inference can reflect the information transmission characteristic of key elements of the natural language.
模糊逻辑推理能够反映自然语言要素信息传递特性。
From the viewpoint of cognition of language, relevance theory holds that utterance communication is of cognitive activity that follows the rule of inference.
关联理论从认知语言学的角度提出语言交际是按一定推理思维规律进行的认知活动。
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.
文中使用PROLOG程序设计语言，推理机采用反向推理方式，构造一个企业管理决策专家系统。
Cyc is an inference engine and a database of statements in a language called CycL.
Cyc是一个推理引擎以及一些用CycL语言描述的陈述组成的数据库。
Relevance to make theory holds that the proper understanding of language needs to find out relevance through context and inference.
关联理论认为，要正确理解语言就要通过语境来寻找关联，要靠推理。
By semantic parsing, the natural language sentence can be understood and knowledge acquirement and inference become possible. Consequently computer and human being can communicate freely.
通过语义分析可以理解自然语言语句，并进行深入的知识获取和推理，使计算机能够与人类无障碍的沟通。
This technology is an integrated application of many natural language processing techniques, including text preprocessing, text structure analysis, inter-text inference and so on.
该技术是许多自然语言处理技术的综合运用，涉及的内容包括文本预处理、文本结构分析、篇章关联推导等。
Text inference is central to natural language applications. This paper presents an inference method based on HowNet, which organizes knowledge with semantic net and infers with marker passing.
文本推理在自然语言处理的应用中占有极为重要的位置，本文介绍了基于知网的一种推理方法，该方法以语义网络的形式表示知网中的知识，利用“标记传递”实现推理。
Thus, the interpretation and inference of parodic language in English news headlines is a dynamic cognitive process involving a mental process.
而仿拟作为一种言语交际方式，即是一种语言现象也是一种认知活动。
Thus, the interpretation and inference of parodic language in English news headlines is a dynamic cognitive process involving a mental process.
而仿拟作为一种言语交际方式，即是一种语言现象也是一种认知活动。
应用推荐