Prolog代码GKD—CDB库的实现算法

在编译型Prolog系统中,Prolog数据库在概念上可看成由两部分组成:源程序库和代码库。由于Prolog包含数据库操作内部谓词,代码库中的代码应该是可修改的。GKD-CDB是我们在VAX-11/780上用C语言实现的一个Prolog代码库。本文论述了其实现算法。     

Visual Prolog的搜索控制机制分析

回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visual Prolog自己不能区分实质上相同的两个解,因此会降低效率;二是尽管一个特殊的目标已被满足,但是回溯机制可能还会强迫Visual Prolog继续手找另外的解,因此会增加系统开销。在这些情况下,必须仔细控制目标搜索求解的回溯过程。本文在揭示Visual Prolog回溯机制所存在问题的基础上,通过实例,对Visual Prolog的静态截断机制、失败谓词fail与否定谓词not等控制谓词,以及动态截断机制等所构成的完整的目标搜索求解控制机制进行了详细分析,从而揭示出回溯机制和搜索求解控制机制的本质特性及应用机理。     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中,对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统,然后讨论了实现模糊Prolog系统的两种方法,并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法,因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

Prolog中非逻辑成分的部分计算

内部谓词是Prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-Prolog编译系统的源级部分计算器中实现和应用。     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中，对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统，然后讨论了实现模糊Prolog系统的两种方法，并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法，因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

有效的Prolog编译实现方法

本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.     

巧用Turbo Prolog动态数据库

Turbo Prolog 的动态数据库,是相对于静态数据库而言的。对于静态数据库,事实和规则都放进程序,一旦程序编译完毕,知识便被“冻结”起来,要想改动事实和规则,就要重新编辑和编译。这些知识,在程序执行期间,并不变化。而动态数据库,一开始常为空的,在程序执行期间逐渐积累信息,所以也叫暂存器。一、用动态数据库为全局变量储存信息Prolog 语言中,变量总是属于某一具体谓词的具体子句中,与其它的语言不同,Prolog 中的变量不是属于全部程序的。但,有时却需要建立全局变量,以便几个谓词都可使用。例如,有时为了操作文件方便,想定义一个缺省驱动器,一旦定义,便可适用于整个程序。例1,用 var 数据库谓词储存所有的全局变量。此谓词有两个自变量:全局变量的名字和其值。例1表明,可用     

Prolog的编译实现

编译技术是实现高效率Prolog系统的一个重要手段。本文提出了设计prolog编译系统时应解决的几个重要问题。这些问题包括:系统设计方案、中间代码的选择、编译器的设计、交互性问题、数据库及数据库操作内部谓词的实现方法等。文中论述了我们对这些问题的看法及提出的解决方法。     

Prolog及其处理系统

1.前言prolog 这个名词是由 Program 和 logic 合成而来的。顾名思义,它是以一阶谓词逻辑为基础的语言。用 Prolog 编程序有的叫programming in logic,或 logic programm-ing,这两个术语比 Prolog 语言的适用范围略微广泛一些。不管怎么叫法,反正 Prolog的最大特点都是与 logic 密切相关的。Prolog 的其它特点,还有:(1)模式匹配功能(2)自动回溯功能(3)有灵活性,其参数对于过程的输     

Fuzzy Prolog系统XDFPS(I)的研制

我们在Turbo-Prolog系统上加上一个外壳,构成一个Fuzzy Prolog系统XDFPS(I)。用户使用该系统就可在Turbo Prolog上处理模糊信息。本文首先叙述XDFTS(I)的设计思想,而后介绍系统的具体实现以及使用方法,并附上系统的部分程序清单以及系统应用的例子。     

一个基于关系数据库的Prolog系统

本文提出了一个基于关系数据库的Prolog系统,目的是使Prolog这个强有力的程序语言具有处理检索问题的能力,以适应于演绎和检索的共同需要.这个系统已在IBM-PC上初步实现.本文着重阐述了这种一体化系统在理论上及实际应用中的价值,系统的设计特点及其实现.     

Prolog抽象机模拟系统——WAM-PLUS-SES

warrern抽象机(简称WAM)是一个非常高效的Prolog执行模型。为了对基于WAM的编译系统和顺序推理机的研究和开发提供支持,我们设计并在VAx—11/780上实现了一个Prolog抽象机模拟系统WAM-PLUS-SES。本文论述了该系统的设计思想和构成,着重介绍了其交互式命令系统、存贮区划分、数据表示和数据结构等。     

提高Turbo Prolog的内存管理效率

分析了Turbo Prolog的存储管理机制及其效率缺陷。借助于其内部库函数实现了一对供用户直接干预全局栈的申请与释放的谓词getgstack和releasegstack。提出了运用这一对谓词提高全局栈存储效率的基本框架，并以应用示例证明了它们的有效性。     

Visual Prolog确定性管理机制剖析

阐明了Visual Prolog中确定性管理机制的目的和方法,归纳了编写确定性和非确定性谓词的基本原则,通过对代码示例中回溯和截断机制的详细分析,给出了结论。     

Visual Prolog语言在测试设备故障诊断专家系统中的应用

Visual Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言,适合表达人的思维和推理规则,能够方便地实现模式匹配、回溯、事实数据库和谓词等功能;针对导弹测试设备结构复杂、故障隔离与定位困难等情况,充分利用Visual Prolog语言在专家系统知识表示及逻辑推理过程中的优点,建立了一个基于规则的导弹测试设备故障诊断专家系统;通过应用表明Visual Prolog语言十分适合构建此类专家系统,并具有良好的开发应用前景.     

超想矢量汉字系统在Prolog语言中特显功能的实现

由于Prolog语言未提供文件位操作的谓词,使得它无法对汉字库文件进行按字模逐位读出,因此也就难以实现在西文Prolog下显示汉字。而超想汉字系统作为一种全新的字符型汉字系统,支持西文Prolog下的汉字直接写屏,并使Prolog具有特显矢量汉字的功能。     

AI与Prolog

Prolog是一种人工智能语言,它在AI和知识库的实现技术中具有十分重要的作用。本文介绍了Prolog的工作原理．并通过实例分析了Prolog语言的特点。利用Prolog的逻辑描述能力和推理能力,使得解决复杂的、非结构化的问题变得简单了。     

模块化Prolog的研究与实现

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

Prolog语言实用化新进展

一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施,在推动和促进Prolog语言及知识处理系统的研究与发展方面所产     

Visual Prolog截断机制对回溯的作用机理

回溯是一种获得目标所有可能解的良好方法.然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程.Visual Prolog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯.该文在考察Visual Prolog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理.