新一代智能语言VISUAL PROLOG

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

GKD-PROLOG/VAX780系统设计

本文介绍了GKD-PROLOG/VAX 780系统性能。它是一个实用的,有效的,可扩充的,可移植的,中西文、符号处理与图形处理兼容的系统,使用方便,时空效率较高(例如用国际上标准测试题证明GKD-PROLOG/VAX 780计算速度是Edinburgh 大学C-PROLOG 的1.25倍,是Waterloo 大学WUP-PROLOG 的两倍)。同时还简要地介绍了GKD-PROLOG/VAX 780系统所采用的先进的设计技术。

二叉树同构的判定及其PDC-PROLOG实现

二叉树是一种重要的数据结构，它在计算机科学中有着广泛的应用当二叉树的两个子树没有区别时，就产生了二叉树同构的概念本文讨论了在ＰＤＣ－ＰＲＯＬＯＧ中。

Transputer系统上CS－Prolog和CSO—Prolog的实现

Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程语言而得不到广泛应用．本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ语言，详细描述了它们的运行机制和在多机系统的实现。

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到C

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

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

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

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

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

Visual Prolog的SQL接口及其应用

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

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

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

挖掘关联规则频繁项集的算法研究及其Prolog实现

挖掘事务库中的频繁项集是数据挖掘的重要任务之一。文章对求关联规则中频繁项集算法进行了分析,着重叙述了DHP算法的设计思想,并用Prolog语言实现,试图探讨用逻辑推理方法解决数据挖掘问题。

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

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