prolog的例句大全

It is specially helpful for gras-ping the functions of PROLOG without relying on the PROLOG computers.

是在PROLOG尚未普及之前,对PROLOG功能的一种有益的尝试.

互联网摘选

Nit-prolog debugging facilities are based on the port technique provided by L. Byrd.

NIT-PROLOG 查错机制是以L. Byrd提出的框口技术为基础的.

互联网摘选

Examples of commercially available nonprocedural languages include Prolog, Focus, Lotus 1-2-3 , and many others.

商业上使用的非过程语言的例子有:Prolog, focus, Lotusl -2-3和其它等.

互联网摘选

PROLOG-These clever teenagers show a new kind of cooking skill.

LUCID和 PROLOG—— 这些聪明的青少年显示出一种新的烹饪技巧.

互联网摘选

At Present, PROLOG has become a general AI Language.

目前, prolog已成为一种通用的人工智能语言.

互联网摘选

This paper focuses on the resolution of quantifier-induced scope ambiguity by Prolog implementation.

本文的重点是讨论在Prolog语言中如何实现对含有量化词辖域歧义的语句的消歧问题.

互联网摘选

The Prolog rough fuzzy fact base and the Prolog rough fuzzy rule base are used to constitute the knowledge base in the knowledge reasoning system. Finally, the knowledge reasoning system supported by the semantic Web rough fuzzy ontology is designed and developed.

由粗糙模糊事实知识库和粗糙模糊规则知识库组成知识推理系统的知识库最后，设计并实现语义Web粗糙模糊本体支持的知识推理系统。

互联网摘选

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

互联网摘选

The author expresses his different viewpoint with reference(ⅱ) on the relationship between the declarative semantics and the procedural semantics of PROLOG.

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。

互联网摘选

The Explanative and Procedural Semantics of FLL Analysing Prolog from advantage of process

FLL语言的说明性语义与过程性语义依据过程性优势分析Prolog程序语言

互联网摘选

POT could significantly prolog the latent period of expiratory dyspnea, tic and falling down caused by egg albumin in sensitized guinea pigs ( P < 0.001).

可显著延长卵白蛋白所致的致敏豚鼠呼吸困难、抽搐和跌倒的潜伏期（P<0.001）。

互联网摘选

The system adopts PROLOG language and windows and menu technique, uses Chinese presentative and output.

该系统采用PROLOG人工智能语言设计，使用窗口和菜单技术，用纯中文提示和输出。

互联网摘选

With the help of the establishment of the SCOM operation rules based on semantics, the transformation between ontology language and Horn statement, as well as the SCOM operation procedures based on Prolog, the operation of SCOM based on logical reasoning came to fruition.

通过制定基于语义的SCOM操作规则，本体语言同霍恩语句的转换，以及基于Prolog的SCOM操作流程，实现基于逻辑推理的SCOM操作。

互联网