【摘 要】
：
<正> 顺序推理中遵循先左后右——子句在前者先选择(即由上到下)的原则,而人们发现 Horn 子句逻辑具有下列基本的并行性:1)AND 并行性,即并行计算规则,指一个目标中的各个子
【机 构】
：
镇江船舶学院计算机系镇江210003
论文部分内容阅读
<正> 顺序推理中遵循先左后右——子句在前者先选择(即由上到下)的原则,而人们发现 Horn 子句逻辑具有下列基本的并行性:1)AND 并行性,即并行计算规则,指一个目标中的各个子句可并行约化;2)OR 并行性,即并行搜索规则,指一个子目标可同时与多个可能匹配的子句进行匹配;3)搜索并行性,指同时搜索库中所有子句;4)合一并行性,指同时匹配单一目标中的各个项;5)流并行性,指具有共享变量的子目
其他文献
信息技术的发展正促进着软件成为一门独立的工程学科。九十年代,整个社会同信息处理密切难分。随着用户市场的不断扩大,家庭对应用程序的需求量与日俱增,软件质量问题突出了出来。可以说,九十年代是软件质量年代,是软件工程向标准化、定量化发展的关键时期。
传统的冯·诺依曼串行计算模型对程序的执行顺序约束太多,欲从它得到更多的性能日益困难,人们把目光转向了大有希望的并行计算,但也带来了很多新的问题。本文将讨论并行
本文回顾了分布式数据库管理系统 C-POREL 的十年研制过程,介绍了 C-POREL 的设计思想及其演变。通过 C-POREL 与国际著名先驱系统的比较,指出了 C-POREL 的特色,分析和探讨
函数程序设计对减少大型软件系统开发的开销有着较大的潜力，本文讨论了函数程序设计在软件工程中的作用和地位，论述了函数语言作为规范原型工具的合适性，最后用一个例子展示了用
在使用面向对象方法的模型管理中，模型应解释为能根据对“消息“的接收及回答来执行各种模型管理功能的对象的集合。本文讨论了使用结构模型框架对构成模型的对象类进行划分的
所谓的逻辑式程序设计它涉及两个逻辑层次：外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG，它的外部逻辑是古典逻辑，而其计算遵循的
<正> 一、引言七十年代处于实验阶段的关系数据库系统在八十年代几乎占据了整个数据库市场,关系数据库 SQL 语言已成为数据库的通用语言。但是,随着计算机应用领域的扩展,关
<正> 一、引言Smithers 在中提出了研究智能计算机辅助设计(ICAD)系统的三个途径:1)建立没计过程模型。2)设计知识的表达及推理方法。3)建立 ICAD 集成系统的体系结构。本文
<正> 一、基本概念在研究计算机软件的法律保护时,程序的“相似”问题占有相当的分量。许多诉讼案正是因为程序间出现实质相似性(Substanti-al similarity)而引起的。在一般
本文针对软件重用活动中的若干管理问题,从项目组织形式、控制手段和管理对策等方面作了一些探讨,提出了一个面向重用的组织结构,描述了考核和控制重用活动的若干方法,讨论了