摘要：本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务。系统设计基于Ｅａｒｌｅｙ算法、ＶＬＳＩ技术以及适当的系统结构及部件的设计方案。在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计，包括互连结构。公共存储器系统的设计方案。并成功地实现了双八路二级并行逻辑推理模拟机的研制。

摘要：说明性语义是逻辑程序研究的重要内容,也是其作为说明性程序的基本特征。近年来由于人们对带否定前提的一般逻辑程序设计的关注,以及逻辑程序与非单调推理的结合,逻辑程序的语义研究出现了许多新结果。本文以早期的Clark语义和最小模型语义为起点,介绍这些新发展的部分内容,主要包括Clark语义的Fitting 3-值扩充,理想模型语义、稳定模型语义、良基模型语义以及它们之间的关系,并在此基研上进一步讨论了说明性语义在逻辑程序设计中的地位和作用。

摘要：说明性语义是逻辑程序研究的重要内容,也是其作为说明性程序的基本特征。近年来由于人们对带否定前提的一般逻辑程序设计的关注,以及逻辑程序与非单调推理的结合,逻辑程序的语义研究出现了许多新结果。本文以早期的Clark语义和最小模型语义为起点,介绍这些新发展的部分内容,主要包括Clark语义的Fitting 3-值扩充,理想模型语义、稳定模型语义、良基模型语义以及它们之间的关系,并在此基研上进一步讨论了说明性语义在逻辑程序设计中的地位和作用。

摘要：为了提高逻辑程序的执行效率,研究逻辑程序的并行处理技术,是当前逻辑程序设计研究课题中的重要方面之一.本文提出了一种实现AND并行的无冲突派生处理技术.基于这一处理技术,我们在以太网连接的多处理机系统上,开发了一个PROLOG的AND并行处理系统WUMPPS.该系统对一类问题的求解具有较高的效率.

摘要：逻辑程序设计语言具有潜在丰富的并行性，但是由于任务并行执行时所需调度、通讯、同步等开销，使得一部分并行执行反而降低了执行效率。本文给出一种粒度分析方法。该方法在静态时通过分析估价出各子目标在单机上运行所需的ＣＰＵ时间ＴＣ，通过ＴＣ与基本粒度的比较产生该子句的最佳粒度执行流图ＢＥＧ（Ｎ’，Ｅ’），进而在ＢＥＧ（Ｎ’，Ｅ’）的基础上对子句ＣＧＥ进行优化。优化后的并行执行图表达式ＣＧＥ将具有最好的执行效率。

摘要：PROLOG运行低效的两个主要技术性原因是搜索一匹配合一太费时以及机械回溯的盲目性。本文针对这两个困难,提出了相应的解决方法。我们采用一种精心设计的内部链接结构来表示逻辑程序以加速数据库搜索和合一操作;采用一种基于变量例化环境的选择性回溯方法提高回溯成功的可能性,试验表明这种方法精简而高效。

摘要：“后调性音乐”泛指一切非功能调性的音乐。其对位的表现与本质主要体现在横向时间维度与纵向空间维度两个层面,特别是线条、织体、音乐元素、音色音响、逻辑程序等方面。梳理和总结后调性对位的相关形态与技法,并通过对比和关联分析,深入探讨后调性对位与传统对位在表象与本质上的区别与趋同。

摘要：一、引言 约束逻辑程序设计(Constraint Logic ***)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction ***)模型的一种程序设计风范。CLP是逻辑程序设计(LP)的一种推广,是八十年代发展起来的一种新的逻辑程序设计方法。由于它继承了LP简单易懂的说明性描述方法并结合了CSP在求解问题时的效率,使它在解决很多AI问题(如组合问题、资源分配、事务安排等)时有不凡的表现。更由于AI领域中绝大多数问题可以用CLP来表示,所以这一方法已引起了人们的广泛注意,并在八十年代后期得以迅速发展。

摘要：1引言逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的"逻辑和数据库"会议.而在此之前,逻辑程序和数据库技术是并行发展的.两者之间的成功汇流得益于日本的"第五代计划",其目标是所谓的"下一代计算机"的开发和研制,在该计划中Prolog被选为编程语言,而关系数据库被用于数据表示.最为流行的逻辑程序设计语言Prolog,作为一般定理证明技术的实现,具有高效和可编程的特点.相应地,关系数据模型作为复杂的层次与网状模型的简化与改进,能提供面向集合的、非过程性的数据操作."第五代计划"极大地刺激了逻辑程序与数据库之间接口的研究.1985年Ull-man发表了题为"Implementation of ogical query 1anguagesfor databases"的论文,奠定了逻辑程序和数据库之间结合的理论基础.

摘要：介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。