回溯机制是逻辑程序设计的重要设施。
The backtracking mechanism is an important facility for logic programming.
回溯机制是逻辑程序设计的重要设施。
The backtracking mechanism is an important facility for programming in logic.
数学是逻辑程序与归纳程序的辩证统一。
Mathematics is a dialectical unity of logic and inductive procedures.
有一些商定的最佳实践构建梯形逻辑程序吗？
Are there some agreed upon best practices for structuring ladder logic programs?
粒度控制是逻辑程序并行执行的重要问题之一。
Granularity control is a main problem of parallel execution of logic programs.
它存储指令、指令的逻辑程序次序和指令在组中的完成次序。
It stores the instruction, the logical program order of instructions, and the completion order of instructions in the group.
针对其逻辑程序设计，概述了数种软件设计方法。
To counter the logic program design of PC, this paper expounds some software design methods.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
本文提出了开发逻辑程序AND并行性的一种方法。
This paper proposes a method of exploiting AND-parallelism in logic program.
也有报道说其实有某些方法可以欺骗机器人的逻辑程序。
It has been reported that there are ways to trick the robots' logic programming.
先将安全策略用一个优先逻辑程序表示，然后计算其语义。
Translates security policy into a prioritized logic program, and then computes its semantics.
本文描述了采用静态数据分析实现逻辑程序“与”并行的方法。
This paper presents a method to execute logic programs in AND - parallelism based on static data analysis.
HATS业务逻辑程序使用Atomfeed库构造 feed。
The HATS business logic program constructs the feed using the Atom feed library.
在层次逻辑程序中，该类回答集语义都退化为普通的回答集语义。
Furthermore, in ordered stratified logic programs, all of the nine answer set semantics become the normal answer set semantics.
以减少存储空间消耗为主要目标，讨论逻辑程序设计的结构优化。
This paper discusses the optimizing configuration of the Logic Programming, taking the reduction of memory space consumption as the main goal.
在逻辑程序AND并行性的开发中，模式识别有着极为重要的作用。
Mode inference is very important for exploiting AND parallelism in Logic Programs.
本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。
This paper describes the current state of research on parallelism of logic programs and the ways of parallel execution of logic programs.
如果逻辑程序严格的用于页面表现，那么它在模板里不会出现问题。
There is no problem with logic in your templates under the condition that this logic is strictly for presentation.
一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。
General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.
书面呈现的是演绎的逻辑程序，而实际的心理过程却是归纳的探究程序。
Its written forms are logic procedures, and its practical mental processes are inductive procedures of inquiring.
在物理平面中，包含业务控制功能(SCF)的物理实体执行业务逻辑程序。
In physical plane, Service logic programs may be installed into and executed by any physical entity that contains that Service Control function (SCF) functional entity.
从法律逻辑程序和执法的正义性等方面，也可认定鲍细娅断案的公正与合理。
Also, this paper maintains the rationalization and fairness of Portias deciding the case from the viewpoint of the modem legal system, legal logic procedures a.
运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。
With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved.
这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。
Some of such query languages are based on algebra, some are based on calculations, others are based on logic programming.
基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。
As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.
针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题，提出子句模板的概念。
For the larger search space when learning clause in Inductive Logic Programming, we defined the clause template.
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
这种描述方法是分析逻辑程序的一种有效的工具，它可帮助我们理解和调试给定的逻辑程序。
This method is an effective tool for analysing logic programs. It can help us understand and debug given logic programs.
每个单元功能设计成允许装配一个由逻辑程序控制器控制的拥有高度友好用户界面的控制面板。
The functional design of each unit allows it to be equipped with a control panel using a programmable logic controller with an operator interface for a highly user-friendly operation.
每个单元功能设计成允许装配一个由逻辑程序控制器控制的拥有高度友好用户界面的控制面板。
The functional design of each unit allows it to be equipped with a control panel using a programmable logic controller with an operator interface for a highly user-friendly operation.
应用推荐