1)prolog languageprolog语言
1.The applied program is implemented in ext-PROLOG language.该文在介绍事务数据库及其关联规则的基础上,对挖掘布尔关联规则频繁项集的Apriori算法进行了具体描述,并使用ext-PROLOG语言加以实现。
2.Prolog language adopts a special type of conjunctive normal form to depict the problems in artificial intelligence.Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。
英文短句/例句
1.PROLOG and Its Implementation by LISPprolog语言的特点及其用LISP语言的实现
2.Prolog Resolution of the Structural Ambiguity in English;英语结构歧义在Prolog语言中的歧义消解
3.The Medicine Diagnosis Expert System Research in Prolog用Prolog语言开发医疗诊断专家系统
4.Analysing Prolog from advantage of process依据过程性优势分析Prolog程序语言
5.NON-VON NEUMANN STYLE PROGRAMMING LANGUAGES PROLOG AND FP非冯·诺依曼式程序设计语言PROLOG和IR
6.RESEARCH ON THE COMPARISON OF META-PROGRAMMING BETWEEN LOGIC PROGRAMMING LANGUAGE GDEL AND PROLOG;Prolog与Gdel语言元程序设计的对比研究
7.Prolog Language:The Resolution Refutation Machine with Searching Strategy;Prolog语言—搜索策略的归结反演推理机
8.To Establish A Mini-Expert System with PDC Prolog;用PDC Prolog语言建立小型专家系统
9.A comparison between the logic programming languages Gdel and Prolog逻辑程序设计语言Gdel与Prolog的比较
10.At Present, PROLOG has become a general AI Language.目前,PROLOG已成为一种通用的人工智能语言.
11.An Approach to the Resolution of Quantifier-induced Scope Ambiguity in Prolog;量化词辖域歧义在Prolog语言中的消歧方案
12.The Exploration into Artificial Intelligence Education Based on Prolog in High School基于Prolog语言的高中人工智能课程教学探索
13.Constraint Based Prolog Semantics and Its Applications in the Testing, Analysis and Verification of Prolog Programs;基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究
14.A spoken language or dialect.语言说的语言或方言
15.formula translatorfortran语言
16.The body language includes the body-gesture language, head-neck language, sign language, face language and looks language.形体语言包括身姿语言、颈语言、势语言、部语言、目语言。
17.A Conversion from PROLOG to PASCAL Procedure;从PROLOG到PASCAL的程序转换
18.method of verbal estimation言语评量法 言语评量法
相关短句/例句
Prolog[英]['pr?ul?g][美]['prolɑg]Prolog语言
1.An Approach to the Resolution of Quantifier-induced Scope Ambiguity in Prolog;量化词辖域歧义在Prolog语言中的消歧方案
2.Prolog Resolution of the Structural Ambiguity in English;英语结构歧义在Prolog语言中的歧义消解
3.Besides, the Prolog, as an important part of artificial intelligence, is similar to human beings\' natural language.而Prolog语言作为人工智能的一个重要组成部分,接近于人类自然语言,富有逻辑性,容易编写和阅读。
3)Visual Prolog languageVisual Prolog语言
1.Aiming at the characteristics of fault diagnosis,adopting the advantages of Visual Prolog language in the process of knowledge representation and logical reasoning,taking the catalytic cracking unit with high accidents in process industry as an example,a rule-based fault diagnosis expert system is designed and implemented.针对故障诊断的特点,利用Visual Prolog语言在知识表示及逻辑推理过程中的优势,以流程工业中易发生事故的催化裂化装置为例设计并实现了基于规则的故障诊断专家系统。
4)Prolog implementationProlog语言实现
5)Prolog implementationProlog语言的实现
6)Prolog semanticsProlog语义
延伸阅读
PROLOG语言 一种逻辑程序设计语言。1972年法国科莫劳埃小组为了提高归结法的执行效率，研制出一个定理证明程序的程序执行器，取名为PROLOG(Programming In Logic)，标志着第一个逻辑程序设计语言PROLOG的诞生。1974年及以后，R.科瓦尔斯基进一步从谓词逻辑的HORN子句的角度阐明PROLOG的理论基础，系统地提出逻辑程序设计的思想。 PROLOG语言的基本语句有三类，分别代表事实、规则和询问，并同有头（无体、有体）和无头的HORN子句相对应。例如： 因而用PROLOG语言进行的程序设计可归结为宣布事实，定义规则和提出询问。 PROLOG程序的解释执行过程采用特定的输入归结，即从目标语句出发求出它和原来子句集的一个子句的归结式（尾部和头部匹配），新的子句再与原来子句集的一个子句求归结式，以此类推。任一时刻都不在两个导出子句或原来子句集的两子句间求归结式。上例中 ⑥：-human(u)，greek(u)（④和⑤的归结式,mgu＝u/x） ⑦：-greek(socarates)（②和 ⑥的归结式，mgu＝socarates/u） ⑧：- （③和⑦的归结式，得空子句） 问题答案是u＝socarates。由此可见，PROLOG解释系统实际上就是一个以归结原理为基础的定理证明程序或问题求解程序。 时空效率较低是影响PROLOG语言应用的重要问题，提高效率的途径是：改进PROLOG解释系统，采用PROLOG编译系统，研制PROLOG机，引入用于控制的元规则，采用启发式搜索方式，启用智能回溯，采用协同、并发求解技术，开发并行处理机制。 由于PROLOG解释程序能根据推理规则自动寻求问题的解，程序设计者就可把主要精力放在揭示对象间的逻辑关系上而不必过多地考虑过程的细节，这是向自动程序设计方向迈进了一步。但是PROLOG语言还具有一些非逻辑特征。例如为了控制回溯,采用CUT技术（切断技术,意即程序人员用CUT符!通知系统不再考虑过去已进行过但无用的搜索通路而且也无须记录回溯点的技术），引入谓词assert（在数据库中增添子句）ret ract（从数据库中删除子句）。这就使得系统的公理集合在推理过程中发生变化，这些都同一阶逻辑的基本思想不符。因此PROLOG还不是严格意义下的逻辑程序设计语言。为了使其更加逻辑化，需要将语言的非逻辑成分限制到最低程度，这方面的研究正在进行中。 参考书目 W.F.Clocksin and C.S.Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981.
