英语释义

• creating a program that enables the computer to reason logically

• a computer language designed in Europe to support natural language processing

片语

Logic solver programming function逻辑程序功能

logic constraint programming约束逻辑程序

logic in programming程序设计中的逻辑

Logic Programming Language逻辑式语言

Computationally Extended Logic Programming计算延伸逻辑程序设计

Mathematical Logic and Programming language数理逻辑和程序设计语言

disjunctive logic programming析取逻辑程序

logic of programming程序设计逻辑

英汉例句

• imperative programming is painting, logic programming is sculpture, declarative programming is word art, functional programming process art.

  命令式编程是绘画，逻辑编程是雕塑，声明编程是艺术字，函数式编程是工艺美术品。

• with the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved.

  运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。

• general logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.

  一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。

• my graduate thesis is application of inductive logic programming (ilp) toknowledge discovery in databases (kdd), a part of a 863 project. this paper isa summary of my work in the past two years.

  我的论文题目是「归纳逻辑程序设计（ilp）在数据库知识发现中的应用研究」，属于国家863计划资助的研究项目的一部分，本文是对这两年来工作的总结。

• we introduce automatic reasoning and logic programming in chapter 9.

  第九章介绍自动推理和逻辑编形式逻辑正确性逻辑程。

• after we discuss the problems of the existed solving methods, we show the neatness of the non-monotonic reasoning and logic programming system—gkd—nmrs.

  在综述了已有的解决方案所存在的问题后，指出了非单调的推理与逻辑程序设计系统gkd—nmrs在描述和解决框架问题上的简洁性和直观性。

• the popular approaches are introduced and summarized, especially model checking based method, theorem proving based method, logic programming based method and so on.

  以计算逻辑为基础，介绍了定理机器证明中一种新的启发式方法——波动方法，它是一种在证明中通过处理归纳结论来激活归纳假设的策略。

• a. at the very least, logic programming provides useful programming languages (mainly prolog).

  至少至少，逻辑编程提供了一种有用的编程语言。

• the parlog is a parallel logic programming language, having a prospective application future -in al and parallel processing area.

  parlog语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。

• logic programming is to use logic rules to solve problem while object-oriented programming solve problem by definition and using objects.

  逻辑程序设计是通过使用逻辑规则来解决问题，面向对象的程序设计是通过定义与使用对象的方法来解决问题。

• write an application in a logic programming language

  用逻辑编程语言写一个应用

• nowadays, the paradigms, namely the object—oriented language and the logic programming language, are two attractive knowledge programming languages.

  逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。

• in terms of the visual logic programming, the thesis proposes the visual logic programming well applied in the equipment.

  在可视化逻辑编程方面文章给出了一种适合本装置的可视化编程的实现方案。

• a logic programming language exlogl based on extended prolog is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.

  提出一种基于prolog扩充不确定性处理能力的逻辑程序设计语言exlogl，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。

• logic programming language hprolog is a prolog-like language. it is mainly a deductive database query language.

  逻辑程序设计语言hprolog是一种类prolog语言，它将主要作为一种推理数据库的查询语言。