programming logic

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

But programming automatic routines requires solving logic puzzles the likes of which you see on the LSAT: If the hub senses A during B time of day, then it will do C, but only if D isn't around.

但编写自动化的日常事务需要解决一些类似于法学院入学考试的逻辑题：如果控制中心在一天的A时刻感知到B事件，那么它将执行C任务，但前提是D事件没有发生。

NET pages use a compiled, event-driven programming model that improves performance and enables the separation of application logic and user interface.

NET使用编译的、事件驱动编程模型从而提高运行速度和分离应用程序逻辑和用户界面。

Inductive logic programming was defined as the intersection of machine learning and logic programming.

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域.

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

The article describes the small multipurpose programming logic module LOGO!

介绍了西门子公司生产的小型通用逻辑控制模块LOGO！

The backtracking mechanism is an important facility for programming in logic.

回溯机制是逻辑程序设计的重要设施.

Design electrical lighting and motion control systems, including control logic programming and harness layout.

设计电气照明和控制系统, 包括控制逻辑程序和动力设计.

Based on the analysis of the principle of digital logic analyzer circuit, this paper discusses the FPGA implementation method of its flip-flop circuit module and presents some programming of part circuits.

在分析数字逻辑分析仪触发电路工作原理的基础上，讨论了其触发电路模块的FPGA实现方法，给出了部分电路的程序设计。

Analysis of Integrated-Injection Logic with C Programming Language

C语言的注入逻辑电路分析