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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

关于Prolog代数方程组的解

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

关键词 PROLOG语言 CS-Prolog语言

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

Prolog语言及其实现

11

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

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

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

在线阅读 下载PDF 职称材料

PROLOG的指称语义和操作语义

12

作者 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的指称语义和操作语义(续)

13

作者 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实现中的若干问题

14

作者 张晨曦 慈云桂 《计算机应用与软件》 CSCD 1991年第4期1-9,共9页

本文论述实现Prolog系统的基本思想,并且对若干实现技术进行了讨论,提出了我们的观点。文中首先介绍Prolog及其基本实现方法,然后讨论Prolog编译实现的几个问题。文中对Warren抽象机进行了介绍和分析,论述了我们对硬件支持的考虑。

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

在线阅读 下载PDF 职称材料