1) Prolog implementation
Prolog语言实现
2) Prolog implementation
Prolog语言的实现
3) prolog language
prolog语言
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语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。
4) 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语言作为人工智能的一个重要组成部分,接近于人类自然语言,富有逻辑性,容易编写和阅读。
5) Visual Prolog language
Visual 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语言在知识表示及逻辑推理过程中的优势,以流程工业中易发生事故的催化裂化装置为例设计并实现了基于规则的故障诊断专家系统。
6) Implement Language
实现语言
1.
This article introduces auto the orign and development tendency of OSEK/VDX system and the characteristics of its Operating System、Communication Norm、Net Management、Implement Language.
介绍了OSEK/VDX标准的历史及发展,并且详细介绍了OSEK/VDX操作系统、通信、网络管理和实现语言的概念及特点。
补充资料：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.
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.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条