Visual Prolog智能集成开发环境评述

VisualProlog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。本文全面评述其功能特点 ,包括VisualProlog的由来与发展、可视化开发环境、可视化编程接口、语言与编译器、运行环境等。

Visual Prolog的回溯机制分析

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

Visual Prolog的搜索控制机制分析

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

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

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

结合C++与Prolog语言快速开发专家系统

文章论证了在专家系统三要素的开发及不同的开发阶段中应配合使用C++与Prolog以互补优势,分析当前常用的Prolog版本的特点并选择适用版本为研究对象。结合程序实例论述Prolog程序与C++程序的双向连接技术,为快速开发专家系统打下技术基础。

PROLOG—DBMS系统实现中的子句间优化技术

实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．

基于Prolog语言的商品推荐知识库模型

针对电子商务个性化推荐问题的特点,引入知识工程的树状表示法,将商品推荐中的三要素转化成描述树进行表达,建立基于Prolog语言的个性化推荐知识库模型。该模型可以根据顾客浏览商品先后次序求解,并与数据库动态地交互数据,实现在线购物的个性化营销。该模型相对独立,通过数据库接口共享电子商务系统数据,能够适应不同结构的电子商务系统。

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。

基于Visual Prolog的面向对象知识表示

讨论了最新人工智能开发环境Ｖｉｓｕａｌ ＰｒｏｌｏｇＶ４．０的特点，分析面向对象技术的基本概念和特征，论述基于Ｖｉｓｕａｌ Ｐｒｏｌｏｇ的面向对象知识表示编程策略及知识的一致性与完整性检查等问题，并进行了ＣＡＰＰ加工链知识库系统实例探讨。

基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。

程序转换技术－从Prolog到C

本文讨论了高级程序设计语言之间的转换问题。提出了从Ｐｒｏｌｏｇ到Ｃ转换的语义解释方法，并应用该方法成功地开发了Ｐｒｏｌｏｇ到Ｃ的自动转换系统。

基于抽象解释的Prolog程序验证技术研究

作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键。本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性。本文例子表明了该验证方法的有效性。

新一代智能语言VISUAL PROLOG

VisualProlog是新一代的智能语言；它既具有传统Prolog的推理能力，又具备友好的图形用户界面，它的应用已不仅仅局限于人工智能的研究范围；它将作为新一代计算机语言；和其他流行的编程语言一争高下，成为实际应用的选择。基于止匕本文将介绍VisualProlog的特点和如何用它开发实际应用。

Visual Prolog的SQL接口及其应用

概述了Prolog的基本特点。讨论了VisualPrologV4.0的SQL接口技术，论述了SQL接口的工作原理和参数传递等问题，提出了利用该技术的机械设计专家系统基本模型、以充分利用现有的CAD工程数据库资源。

一种基于tuProlog的智能售货系统设计

给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法。该方法基于tuProlog技术,将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非逻辑处理分开的设计方法,即把系统分为逻辑处理模块和骨骼模块,逻辑模块负责复杂多变的业务逻辑处理,骨骼模块负责其他非逻辑问题,介绍逻辑模块的设计思路和实现步骤。该方法既利用了传统程序设计的优势,又将复杂的逻辑推理独立出来,由专门的逻辑引擎处理,有效提高系统的灵活性和可扩展性,是一种可供参考的智能程序设计方法。

基于PROLOG元级扩充的知识消化系统

通过对TURBOPROLOG进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机PROLOG知识库系统的质量和性能有重要参考价值.

基于VC++和Prolog语言混合编程的专家系统框架

为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC++混合编程方法开发专家系统框架的方案,用VC++实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程。该框架具有较好的用户界面,用户只要输入或导入脚本编写的知识库、事实库和目标,就可以进行目标求解,因此简化了专家系统的开发过程。介绍了该专家系统框架的实现原理和设计思想,给出了导入导出模块、脚本语言语法检测模块和解释机制的实现方法。

目标独立的Prolog程序路径依赖分析语义

在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度。当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析。为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语义,并证明了LT语义相对于操作语义的正确性。LT语义可作为目标独立的Prolog程序路径依赖分析的基础。

使用工作站网络并行执行prolog程序

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

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

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