PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

PROLOG 在情报检索中的应用

本文介绍作者在 IBM—PC 机上用非过程性语言 Prolog 实现的一个科技情报检索系统。本系统具有按主题词,作者,年代和类别检索功能和对情报的编辑功能。虽然具有这五种功能,但是,源程序较短。作者用该系统管理最近几年由《Mathematical Riew》,《Computer&.Control Abstracts》和《Mathematics Abstract》(西德)等三种刊物提供的关于数理逻辑和理论计算机方面的研究情报,使用方便、检索速度快,证明了本系统的实用性。     

PROLOG与定理的自动证明

本文试从谓词公式简化后的PROLOG子句标记法和归结的意义出发,讨论用PROLOG实现定理证明的方法.主要内容包括:谓词公式的简化及其PROLOG形式表示;归结与定理证明的思想;用PROLOG证明定理的方法.     

财务报表分析的程序实现

采用比率分析的方法来评价和分析企业财务报表对于财务报表的使用者来说是一种简单、科学的方法,运用发展完善的数据库技术来实现比率分析使得报表使用者获取财务状况信息更加便捷。     

用PROLOG表示基本控制结构

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ 应用软件，本文讨论了三种控制结构在ＰＲＯＬＯＧ中的实现。     

PROLOG处理高阶谓词的方法

基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。     

递归算法的BASIC程序实现

在BASIC语言中没有“过程”的概念,不能使用递归。本文分析了一个著名的递归问题——Hamiv塔问题的求解过程,在BASIC语言中利用数组与子程序实现了递归算法。     

PROLOG:人工智能的一个有力工具

本文讨论了目前程序设计的缺陷和产生新型程序设计语言的必要性,介绍了 PROLOG 语言的特点,最后通过实例说明它在人工智能专家系统中的应用.     

自适应信号滤波的程序实现

文章分析了自适应滤波的原理及其程序的实现过程，总结出一种实用的实现方法。     

高校自动排课的程序实现

排课是高校教学管理中最重要、最繁重的工作之一.对于高校纷繁复杂的课程和专业，一直没有很好的解决方法.本文借鉴相关排课理论，在分析一些排课软件的基础上，提出一种基于禁忌搜索算法的排课程序实现.该程序主要是解决教师、班级在上课时间、地点上的冲突问题，同时兼顾提高各种教学资源的利用效率.     

RSA密码技术的程序实现

对信息安全的密码技术中 ,当前最著名、应用最广泛的公钥系统 RSA的实现方法进行了介绍 ,并给出相关程序。     

函数迭代分析的程序实现

本文讨论了一元非线性函数g（x）=x2＋（1-2√λ）x的迭代的倍周期分岔现象,并图示了这个倍周期分岔的临界点参数序列的极限是存在的,进而当参数λ越过这个极限时,g（x）=x2＋（1-2√λ）x的迭代方程出现混沌解。     

大型PROLOG系统查询优化技术

一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询的处理效率就成了构造实用 PROLOG 系统     

模糊规划及其程序实现

利用遗传算法和模糊模拟求解以下两类模糊问题:其一是在模糊条件下要求一个清晰目标函数达到极大或极小,其二是在模糊条件下要求一个模糊事件的可能性达到极大,采用基于模糊模拟的遗传算法进行求解.     

模糊规划及其程序实现

利用遗传算法和模糊模拟求解以下两类模糊问题：其一是在模糊条件下要求一个清晰目标函数达到极大或极小，其二是在模糊条件下要求一个模糊事件的可能性达到极大，采用基于模糊模拟的遗传算法进行求解．     

HILL加密C程序实现

主号针对传统矩阵加密／解密处理的一种特殊多字母代换体制：HILL加密方案进行描述．给出了加密／解密过程的理论概述,分析了HILL方案设计加密／解密算法．用C语言实现程序．     

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

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

PROLOG线性归结的研究与设计

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。