使用工作站网络并行执行prolog程序 被引量：2

1

作者 陶杰 鞠九滨 《软件学报》 EI CSCD 北大核心 1994年第11期38-43,共6页

本文介绍了一个在ＳＵＮ工作站网络上实现的分布式Ｃ—ＰＲＯＬＯＧ解释系统ＤＣ－ＰＲＯＬＯＧ，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量不足而无法... 本文介绍了一个在ＳＵＮ工作站网络上实现的分布式Ｃ—ＰＲＯＬＯＧ解释系统ＤＣ－ＰＲＯＬＯＧ，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量不足而无法执行的任务得以执行． 展开更多

关键词 PROLOG语言 工作站网络 解释程序

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

具有并发延迟功能的PROLOG语言控制策略的设计与实现 被引量：1

3

作者 肖楠 《小型微型计算机系统》 CSCD 北大核心 1989年第3期36-43,共8页

本文对一般Prolog语言的控制策略所存在的问题进行了分析,提出了一个新的具有并发延迟功能的控制策略,它有效地避免了递归谓词的低效或无限循环调用,也可实现事实子目标的优化查询,提高了系统的效率、完善了系统的功能。

关键词 PROLOG语言 控制策略 逻辑程序

在线阅读 下载PDF 职称材料

决策支持工具MV-PROLOG系统的设计与实现

4

作者 迟忠先 洪永康 曹桂琴 《大连理工大学学报》 EI CAS CSCD 北大核心 1990年第5期591-597,共7页

在 ＭＶ系列机上实现的 ＭＶ－ＰＲＯＬＯＧ系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性．在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上．本系统特... 在 ＭＶ系列机上实现的 ＭＶ－ＰＲＯＬＯＧ系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性．在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上．本系统特别注重与环境的连接和通讯。为此，系统用ＣＯＢＯＬ语言编写，以便于与ＭＩＳ或其他系统软件（ＤＢＭＳ和高级语言等）通讯。 展开更多

关键词 程序语言 PROLOG 决策支持系统

在线阅读 下载PDF 职称材料

关于Prolog代数方程组的解

5

作者 李永礼 李廉 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第3期1-5,共5页

本文建立一种对既约方程组求解的图上作业法.证明了:既约方程组只有有理解当且仅当它的解唯一,同时提出了通解图的概念,通解图可以从既约方程组有效地构造,并且从通解图上容易求出它的所有解,看出这些解之间的关系,通解图是全体解的一... 本文建立一种对既约方程组求解的图上作业法.证明了:既约方程组只有有理解当且仅当它的解唯一,同时提出了通解图的概念,通解图可以从既约方程组有效地构造,并且从通解图上容易求出它的所有解,看出这些解之间的关系,通解图是全体解的一种有穷表示. 展开更多

关键词 树代数 PROLOG 逻辑程序设计

在线阅读 下载PDF 职称材料

逻辑程序语言中数据库修改操作的逻辑实现

6

作者 李永坚 吴荣泉 《计算机工程》 CAS CSCD 北大核心 1989年第6期61-65,共5页

本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含插入操作,而删除操作可通过插入操作间接地实现。 我们用扩展的... 本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含插入操作,而删除操作可通过插入操作间接地实现。 我们用扩展的Horn子句对逻辑程序语言中数据库修改操作进行形式化,并且逻辑实现了逻辑程序语言中数据库修改操作,从而使逻辑程序语言中数据库修改操作更适合于逻辑程序设计。 展开更多

关键词 逻辑程序语言 数据库 HORN子句

在线阅读 下载PDF 职称材料

Transputer系统上CS－Prolog和CSO—Prolog的实现

7

作者 朱育清 《计算机工程》 CAS CSCD 北大核心 1994年第4期39-44,共6页

Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程语言而得不到广泛应用．本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ语言，详细描述了它们的运行机制和在多机系统的... Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程语言而得不到广泛应用．本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ语言，详细描述了它们的运行机制和在多机系统的实现。 展开更多

关键词 PROLOG语言 CS-Prolog语言

在线阅读 下载PDF 职称材料

由DBF记录生成PROLOG事实的方法

8

作者 牟占生 《计算机农业应用》 1994年第4期32-33,共2页

ｄＢＡＳＥ数据库语言已在我国广泛应用，大量的数据库管理系统由ｄＢＡＳＥ建立管理的。在开发专家系统、智能软件的过程中，如何有效地利用已有的ｄＢＡＳＥ数据库，从而缩短编程时间，避免重复劳动、提高编程效率，是一值得重视的问... ｄＢＡＳＥ数据库语言已在我国广泛应用，大量的数据库管理系统由ｄＢＡＳＥ建立管理的。在开发专家系统、智能软件的过程中，如何有效地利用已有的ｄＢＡＳＥ数据库，从而缩短编程时间，避免重复劳动、提高编程效率，是一值得重视的问题，本文介绍如何用ＰＲＯＬＯＧ语言将ＤＢＦ的记录转换成ＰＲＯＬＯＧ事实的简单，实用、有效方法。 展开更多

关键词 PROLOG语言 数据库文件 .DBF文件

在线阅读 下载PDF 职称材料

模块化Prolog的研究与实现

9

作者 周立 吴泉源 陈火旺 《软件》 北大核心 1994年第10期7-12,共6页

为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操... 为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。 展开更多

关键词 PROLOG语言 模块化 程序语言 逻辑程序设计

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

Prolog实现技术中的原型共享思想

11

作者 王健 程虎 《软件学报》 EI CSCD 北大核心 1995年第1期1-7,共7页

本文介绍了ＧＯＡＭ──一个新的Ｐｒｏｌｏｇ语言抽象机器中的原型共享思想．采用原型共享技术可以明显地降低Ｐｒｏｌｏｇ程序运行时的空间消耗量，在一定程度上解决了Ｐｒｏｌｏｇ语言特有的难题──“栈溢出”问题．

关键词 PROLOG语言 原型共享 抽象机器 程序语言

在线阅读 下载PDF 职称材料

Prolog语言抽象机器GOAM的设计与实现

12

作者 王健 程虎 《计算机研究与发展》 EI CSCD 北大核心 1995年第3期31-36,共6页

本文提出了一种抽象机ＧＯＡＭ（ｇｒａｐｈｏｒｉｅｎｔｅｄａｂｓｔｒａｃｔｍａｃｈｉｎｅ），是Ｐｒｏｌｏｇ语言新的运行和实现方式。因为ＧＯＡＭ内存管理是一种堆式内存分配方法，所以具有潜在的并行性。另外ＧＯＡＭ控制算法是... 本文提出了一种抽象机ＧＯＡＭ（ｇｒａｐｈｏｒｉｅｎｔｅｄａｂｓｔｒａｃｔｍａｃｈｉｎｅ），是Ｐｒｏｌｏｇ语言新的运行和实现方式。因为ＧＯＡＭ内存管理是一种堆式内存分配方法，所以具有潜在的并行性。另外ＧＯＡＭ控制算法是智能回溯方法，ＧＯＡＭ在没有引入死余信息的情况下提高了系统的效率。 展开更多

关键词 PROLOG语言 抽象机器 设计

在线阅读 下载PDF 职称材料

PROLOG的说明性语义和过程性语义之间的循环论证

13

作者 周训伟 《北京工业大学学报》 CAS CSCD 1990年第4期87-90,共4页

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。

关键词 PROLOG语言 说明性 语义 过程性

在线阅读 下载PDF 职称材料

Prolog语言的递归实现方法剖析

14

作者 李安东 王余旺 《矿业科学技术》 2006年第3期29-32,共4页

本文简要探讨了进一步提高Prolog语言对递归的处理能力的途径和措施，提出了计数器法、提前出栈及推后入栈等方法，达到增加递归深度，甚至在某些非尾部递归情况下实现无穷递归的目的．

关键词 Prolog递归 计数器法 提前出栈 推后入栈

在线阅读 下载PDF 职称材料

Prolog语言的特点及其编程技术 被引量：1

15

作者 沙胜贤 康顺哲 《长春光学精密机械学院学报》 1999年第3期86-88,97,共4页

本文论述了Ｐｒｏｌｏｇ 语言的语句结构、特点和编程技术， 并且给出了程序设计的实例。

关键词 PROLOG 专家系统 程序设计

在线阅读 下载PDF 职称材料

面向对象的PROLOG程序测试工具的研究与实现

16

作者 王雷 侯广德 《软件学报》 EI CSCD 北大核心 1995年第A01期86-93,共8页

本文首先对Ｐｒｏｌｏｇ程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法，接着介绍了一个面向对象的Ｐｒｏｌｏｇ程序测试工具的设计与实现。

关键词 测试工具 面向对象 Prolog语文 程序语言

在线阅读 下载PDF 职称材料

Prolog语言及其实现

17

作者 马玉障 《计算机工程与应用》 CSCD 北大核心 1989年第5期57-60,共4页

Prolog语言是新一代人工智能语言。自马赛大学于七十年代推出Prolog的第一个版本后,Prolog语言立即以其独特的说明性语义及过程性语义引起了计算机界的重视。本文讨论了Prolog语言的一般实现算法及本人在DPS8/52计算机系统上实现的Prolo... Prolog语言是新一代人工智能语言。自马赛大学于七十年代推出Prolog的第一个版本后,Prolog语言立即以其独特的说明性语义及过程性语义引起了计算机界的重视。本文讨论了Prolog语言的一般实现算法及本人在DPS8/52计算机系统上实现的Prolog语言。 展开更多

关键词 PROLOG语言 人工智能 程序设计语言

在线阅读 下载PDF 职称材料

PROLOG的指称语义和操作语义

18

作者 Saumya K.Debray Prateek Mishra 戴敏 《计算机科学》 CSCD 北大核心 1990年第4期30-37,共8页

PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了... PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了一种指称语义,它能刻划PROLOG的计算特性。我们给出了不含“Cut”的PROLOG的语义,然后,将其推广到含“Cut”的pROLOG。在两这情况下,我们分别证明了该语义与标准操作式解释程序的等价性。作为这一指称语义的应用,还证明了有关PROLOG程序变换的一些标准的“常用”定理的正确性。 展开更多

关键词 PROLOG语言 指称语义 操作语义

在线阅读 下载PDF 职称材料

PROLOG的指称语义和操作语义(续)

19

作者 Saumya K.Debray Prateek Mishra 戴敏 《计算机科学》 CSCD 北大核心 1990年第5期31-37,共7页

4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用... 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用户提供了控制这类回溯的手段。 展开更多

关键词 PROLOG语言 指称语义 操作语义

在线阅读 下载PDF 职称材料

用PROLOG表示基本控制结构

20

作者 夏却利 《哈尔滨商业大学学报（自然科学版）》 CAS 1999年第2期18-21,共4页

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ 应用软件，本文讨论了三种控制结构在ＰＲＯＬＯＧ中的实现。

关键词 控制结构 模块化程序设计 PROLOG

在线阅读 下载PDF 职称材料