Languages like Prolog, Mercury, SQL, XSLT, EBNF grammars, and indeed configuration files of various formats, all declare that something is the case, or that certain constraints apply.
诸如prolog、Mercury、SQL、XSLT这样的语言、ebnf语法和各种格式的真正配置文件，都声明某事是这种情况，或者应用了某些约束。
Via an example of V belt design, this paper expounded the application of PROLOG to the choose type problem of mechanical design, and introduced the semantic of PROLOG to the point.
本文通过一个V带传动设计的例子，阐述了PROLOG语言在机械设计选型问题中的应用，对PROLOG语言的句法也作了扼要的介绍。
In this part, some skills and methods for symbolic operations by artificial intellegence language PROLOG are discussed in detail.
该篇详细讨论了用人工智能语言prolog实现符号运算的若干技术和方法。
PROLOG language is selected in order to realize the automaton representation of model in computer.
为了在计算机中实现模型的自动机表示，选用了PROLOG语言。
TURBO-PROLOG language is used for developing a small expert system for equipment selection in open Cut mines.
本文采用TURBO—PROLOG语言开发了一个小型专家系统用于露天矿山的设备选型。
Logic programming language HPROLOG is a prolog-like language. It is mainly a deductive database query language.
逻辑程序设计语言hprolog是一种类prolog语言，它将主要作为一种推理数据库的查询语言。
As an example, a natural language interface (NLI) having a limited subset of English to a specific expert system for database design (ERGTORS) is designed and implemented with TURBO PROLOG on IBM PC.
作为实例，为数据库设计专家系统(ERGTORS)设计了一个具有有限英语子集的自然语言接口(NLI)，并在IBM PC上用TurboProlog实现。
A analysis and repair computer aided system for welding machine breakdown is set up by using TURBO-PROLOG language.
利用TURBO -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.
文中使用PROLOG程序设计语言，推理机采用反向推理方式，构造一个企业管理决策专家系统。
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，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。
This paper gives some features in common and some differences of the two artificial intelligence programming languages LISP and PROLOG by the theory and by the mechanization.
本文从理论上和机制上对人工智能程序语言LISP与PROLOG进行了剖析和比较。
The transformation method between the data files of MIS and PROLOG fact base is realized by PROLOG language that be used widely in artificial intelligence field. And by this method, an expert syst…
本文使用了在人工智能中广泛应用的PROLOG语言，实现了从MIS 的数据文件到PROLOG事实库之间的转换，并以本文提出的转换方法，建立了一个图书分类统计与检索的专家系统。
The transformation method between the data files of MIS and PROLOG fact base is realized by PROLOG language that be used widely in artificial intelligence field. And by this method, an expert syst…
本文使用了在人工智能中广泛应用的PROLOG语言，实现了从MIS 的数据文件到PROLOG事实库之间的转换，并以本文提出的转换方法，建立了一个图书分类统计与检索的专家系统。
应用推荐