Prolog语言特点综述 被引量：4

1

作者 白晓虹 张威虎 王世勤 《延安大学学报（自然科学版）》 1999年第1期23-26,共4页

对Ｐｒｏｌｏｇ语言的产生和发展过程作了清晰的介绍，重点将Ｐｒｏｌｏｇ这种逻辑型程序设计语言与其它语言进行了深入的比较研究，解释了Ｐｒｏｌｏｇ语言在描述、解问题方法方面所独具的突出特点。

关键词 逻辑型 prolog语言 数据结构 程序语言

在线阅读 下载PDF 职称材料

用PDC Prolog语言建立小型专家系统 被引量：2

2

作者 钱作勤 李舒燕 《武汉船舶职业技术学院学报》 2004年第4期12-17,共6页

介绍了PDCProlog语言的特点、功能及其在开发专家系统中的作用 ,并运用模块化的思想阐明了建立一个小型专家系统所需的基本框架和主要模块。

关键词 PDC prolog语言 专家系统 模块化.

在线阅读 下载PDF 职称材料

Prolog语言在采矿方法选择设计中的应用

3

作者 李明 陈广平 《西部探矿工程》 CAS 2003年第2期81-83,共3页

针对目前采矿方法选择设计的缺陷 ,根据人工智能语言Prolog的特点 ,提出利用Prolog进行计算机编程 。

关键词 采矿方法 prolog语言 规则 事实 知识 人工智能

在线阅读 下载PDF 职称材料

Prolog语言的递归程序设计

4

作者 李春葆 《微电子学与计算机》 CSCD 北大核心 1993年第2期15-16,共2页

本文分析了Prolog语言的表递归函数结构和模型,并计论了该模型在递归程序设计中的应用。

关键词 递归程序设计 程序设计 prolog语言

在线阅读 下载PDF 职称材料

用Prolog语言开发医疗诊断专家系统 被引量：1

5

作者 陈铮 路军 《微电子学与计算机》 CSCD 北大核心 1994年第1期35-39,共5页

本文介绍用Ｐｒｏｌｏｇ语言开发的“眼病诊断专家系统”，说明了提取专家知识和表达专家知识的方法，介绍了专家系统的结构，以及开发医疗诊断专家系统的理论及方法。

关键词 prolog语言 医疗诊断 专家系统

在线阅读 下载PDF 职称材料

用PROLOG语言在第五代计算机中实现三种同步机制 被引量：2

6

作者 黄明 孙辉 曹家琏 《大连铁道学院学报》 1994年第1期21-26,共6页

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

关键词 第五代计算机 prolog语言 同步机制

在线阅读 下载PDF 职称材料

优越的专家系统语言Prolog

7

作者 王粤宁 《电子与电脑》 1992年第7期2-3,共2页

关键词 专家系统 prolog语言

在线阅读 下载PDF 职称材料

挖掘关联规则频繁项集的算法研究及其Prolog实现 被引量：4

8

作者 崔志明 汤亚玲 《微电子学与计算机》 CSCD 北大核心 2003年第9期8-10,33,共4页

挖掘事务库中的频繁项集是数据挖掘的重要任务之一。文章对求关联规则中频繁项集算法进行了分析,着重叙述了DHP算法的设计思想,并用Prolog语言实现,试图探讨用逻辑推理方法解决数据挖掘问题。

关键词 数据挖掘 数据库 知识发现 关联规则 频繁项集 算法 prolog语言

在线阅读 下载PDF 职称材料

在扩展PROLOG中函数和面向对象的程序设计 被引量：2

9

作者 高峰 黄厚宽 《哈尔滨船舶工程学院学报》 EI CAS CSCD 1989年第2期194-204,共11页

论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式... 论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合. 展开更多

关键词 程序设计 prolog语言 函数

在线阅读 下载PDF 职称材料

含有量化名词词组的及物性结构的语义分析及其在自然语言处理中的实现问题 被引量：1

10

作者 吴平 《语言科学》 2004年第1期95-104,共10页

本文旨在从意义的组合性原则出发,对含有量化名词词组的及物性结构进行语义分析。重点是讨论和评价对这一结构从形式语义学角度所做的四种不同的研究方法。其中,前三种是通过类提升的方式来实现的,最后一种则是通过类重设的方式来实现... 本文旨在从意义的组合性原则出发,对含有量化名词词组的及物性结构进行语义分析。重点是讨论和评价对这一结构从形式语义学角度所做的四种不同的研究方法。其中,前三种是通过类提升的方式来实现的,最后一种则是通过类重设的方式来实现的。基于计算复杂性的考虑,本文选取其中的一种方法作为解决自然语言处理中语义问题的理论依据,并且详细地介绍和说明如何以这种方法为基础编写出适用于Prolog语言环境的计算机可执行语法。 展开更多

关键词 量化名词词组 及物性结构 形式语义学 自然语言处理 prolog语言环境

在线阅读 下载PDF 职称材料

Prolog正向推理机中否定谓词的处理

11

作者 陶文祥 曾湘燕 +1 位作者 周中一 浦恩沸 《微电子学与计算机》 CSCD 北大核心 1993年第3期31-33,共3页

根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定... 根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定.为了处理这类情况,我们提出了假事实推理法,从而有效地处理了Prolog正向推理机中的否定谓词. 展开更多

关键词 prolog语言 正向推理机 否定谓词 not 处理思想

在线阅读 下载PDF 职称材料

Prolog中的结构化程序设计思想

12

作者 曾湘燕 陶文祥 《微电子学与计算机》 CSCD 北大核心 1994年第5期16-18,共3页

本文介绍Ｐｒｏｌｏｇ中的结构化程序设计思想，并给出３种基本结构的实现方法。

关键词 prolog语言 程序设计 程序语言

在线阅读 下载PDF 职称材料

RPDFS算法及其在微机上的Turbo　PROLOG实现

13

作者 员东风 《微电子学与计算机》 CSCD 北大核心 1996年第2期50-53,共4页

本文提出了用于有向图搜索的一种算法──更新指针深度优先搜索（ＲＰＤＦＳ）算法，研究了它在微机上的ＴｕｒｂｏＰＲＯＬＯＧ实现。文中给出了算法步骤、程序框图、算例及其运行结果。

关键词 RPDFS算法 微机 prolog语言

在线阅读 下载PDF 职称材料

Prolog在逻辑电路模拟中的应用

14

作者 陶文祥 《微电子学与计算机》 CSCD 北大核心 1989年第11期31-32,共2页

Prolg的特性决定了它是一种良好的模拟支持语言,本文介绍用它模拟逻辑电路的基本过程,即建立类型定义库,公用库,连接关系库,最后用Prolog的事实提供输入数据,进行模拟;另外,还讨论了复杂逻辑电路的模拟问题。

关键词 prolog语言 逻辑电路 电路模拟

在线阅读 下载PDF 职称材料

Prolog正向推理机 被引量：1

15

作者 陶文祥 曾湘燕 +1 位作者 周中一 浦恩沸 《微电子学与计算机》 CSCD 北大核心 1991年第8期14-16,共3页

本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.

关键词 prolog语言 正向推理机 推理策略 关系数据库 动态数据库

全文增补中

适合开发中文专家系统的新Prolog工具库

16

作者 张宏 马军 +1 位作者 徐建良 马绍汉 《微电子学与计算机》 CSCD 北大核心 1994年第4期15-17,共3页

本文介绍了对西文Ｐｒｏｌｏｇ的系统谓词和工具库谓词的修改和扩充算法，使修改后的西文Ｐｒｏｌｏｇ２．０和工具库完全适合开发在汉化的Ｄｂａｓｅ信息管理系统上建立中文专家系统。

关键词 prolog语言 专家系统 工具库

在线阅读 下载PDF 职称材料

一种用PROLOG实现非精确推理的方法

17

作者 余宏华 马玉书 《石油大学学报（自然科学版）》 CSCD 1990年第2期93-101,共9页

本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,对该方法做了检验。证明这种方法对于直接用Prolog语言编制需要做非精确推理的人工智能软件是可行的。

关键词 prolog语言 非精确推理 软件

在线阅读 下载PDF 职称材料

PROLOG程序访问DBF文件的方法研究

18

作者 廖晓明 唐祯敏 《石家庄铁道学院学报》 1997年第3期83-89,共7页

对知识系统与数据库间的耦合问题进行了一些研究，在介绍了一般方法后，提出了利用Prolog元程序设计实现的新方法，并能与一种面向对象的知识表示方法［1］相适应。

关键词 数据库 prolog语言 程序设计 DBF文件

在线阅读 下载PDF 职称材料

Turbo Prolog怎样调用Turbo C

19

作者 李铁平 张宏光 王晓茹 《白城师范高等专科学校学报》 1999年第3期34-35,共2页

一、引言 Prolog是一种应用广泛的人工智能语言,它具有递归、回溯、模式匹配数据库等很强的功能,逻辑推理是它的特长。适用于数学论证、非数值处理,自然语言的理解,专家系统等人工智能领域;

关键词 prolog语言 TURBOC 调用约定 命名约定 C语言 人工智能语言 专家系统 流变体 模式匹配 非数值处理

在线阅读 下载PDF 职称材料

在Prolog上实现时态推理的几个问题

20

作者 聂文龙 张师超 《高技术通讯》 EI CAS CSCD 1995年第A01期26-28,共3页

区间逻辑不能模拟自然语言中的“与”、“或”、“非”，间断区间可以克服这一弱点。本文给出了在Ｐｒｏｌｏｇ顶层扩展实现间断区间逻辑。

关键词 时态推理 prolog语言 解释程序

在线阅读 下载PDF 职称材料