查询词典 prolog

The system which not only has the ability to organize, store and manage the data effectively, but also has the ability to analysis the data and appreciate the effectualness of testing result intelligently has been applied in a testing plant of weaponry industry suc...

这个系统已在某兵器试验场实现，证明其能有效地组织、存贮、管理数据，且能用专家知识对数据进行智能分析，对试验结果的有效性进行鉴别。这个系统在开发中还成功地解决了专家系统与外部数据库的接口和西文Turbo Prolog的汉化问题。

In order to show the performability of mutually-inversistic mathematical logic in counting,its application to artificial intelligence is given:the operational semantics and denotational semantics of second level single quasi-Pro...

为说明互逆主义数理逻辑在计算中的能行性，给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。

Pinfold,"Design engineering—a need to rethink the solution using knowledge based engineering", Knowledge-Based Systems Vol 12: 257–267, 1999.[4] M. Ozawa, Y. Iwasaki, and M.

一些人工智能程序开发工具（如LISP和Prolog）提供推理机，使得开发人员能够把精力集中在知识表达方面。

As you can see from the dissassembly above these are the opcodes of the prolog.

正如你可以看到，上述这些dissassembly都是序言的操作码。

These setters, if present, must occur at the beginning of the Prolog, in any order.

这些给定器如果存在，必须出现在序言的开始，以任何次序。

Let's call them the "prolog signature".

让我们称之为"序言签名"。

Takes PSI manmufactured by the new generation Computer institute in Japan as a model,and discussesHow to realize busy waiting,Signal lamp and condition critical region by PROLOG in detail and evaluate themA software simulator program is realized on microcomputer.

以日本新一代计算机技术研究所研制的个人顺序推理机PSI为模型，详细讨论了用PROLOG语言在新一代计算机操作系统中实现忙式等待、信号灯、条件临界区三种同步机制的情况，并进行了评价，软件模拟程序已在微机上调试通过。

Default namespace declarations can be used in a Prolog ( http://www.w3.org/TR/2004/WD-xquery-20040723/#dt-prolog ) to facilitate the use of unprefixed QNames.

缺省命名空间声明用在序言中，来使没有前缀的QName便于使用。

This system is programed by Turbo Prolog,running under CCDOS environment.

本文介绍一个PC 机故障诊断专家系统PCDGES，它以西文T-Prolog 编码，在CCDOS 下运行。

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。