Visual Prolog的回溯机制分析

回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察VisualProlog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则,给出了回溯机制的循环实现方法,深入分析了回溯过程可能发生的各种情况,从而揭示出回溯机制的本质特性和应用机理。结论指出回溯机制具有副作用,需要利用截断机制、失败谓词等对搜索过程进行仔细控制。

Visual Prolog的搜索控制机制分析

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

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

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

Visual Prolog的接口作用域限定机制

针对V isual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功能与作用。首先阐述了接口与对象的基本概念,然后分析了开放限定和支持限定的作用机理,最后通过实例分析,揭示了接口作用域限定机制的本质特性和应用机理。

Pro树与Prolog程序追踪

本文介绍了Ｐｒｏ树的生成规则，并以一个递归程序为例，对追踪过程和由Ｐｒｏ树图解的运行机制进行了详细比较，说明Ｐｒｏ树可作为一种直现、形象、易于理解的辅助工具，用于Ｐｒｏｌｏｇ程序的设计和调试。

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

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

一种用Pro树测试和辅助设计Prolog程序的方法

按着Ｐｒｏｌｏｇ语言创立者ＡｌａｉｎＣｏｌｍｅｒａｕｅｒ的思路￣［２］，本文提出一种称为Ｐｒｏ树的图形方法。它既可用于程序的理解￣［６］，又可用于程序的测试和辅助设计。文中包括该方法的生成规则，各节点间及谓词参量间的关系等内容，并以实例说明了Ｐｒｏ树的应用。

Prolog语言的特点及其编程技术

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

分类专家咨询系统开发工具EFCTOOL的设计与实现

文章在对实际专家系统和现有的专家系统开发工具进行分析的基础上，探讨了提高专家系统开发工具的适应性的途径；实现了弱逻辑关系及其组合算法1；探讨了提高专家系统开发工具运行效率的途径。同时采用VISUAL PROLOG 4．02实现了一个分类专家咨询系统开发工具EFCTOOL，利用EFCTOOL，可根据需要生成确定或不确定的专家咨询系统。

支持对理论—模糊逻辑程序设计语言的基础

本文以模糊关系推理语言FRIL为背景,介绍了用于处理各种不确定性的支持对理论(support-pair theory),探讨了基于积模型(multiplication model)的一般的模糊逻辑程序设计语言的基本设计原理。这类通用的语言是一种类似于PROLOG的查询类型语言。基于Zadch的模糊集理论和Shafer的证据理论,其事实和规则语句的不确定性用支持对来度量。这类通用语言为在专家系统中表达知识和进行不确定推理提供了一个强有力的新工具。

专家系统工具HEST的设计与实现

本文介绍了一个基于元逻辑程序设计的专家系统工具HEST.它以逻辑为基础,用元级和目标级相结合的推理方法来实现的.它具有元级推理、模糊推理等机制,函数和面向对象程序设计风格,多种知识表示以及知识的吸收、调节、推理解释等知识库管理和交互功能,是一个良好的专家系统开发环境.