Prolog正向推理机

本文介绍作者设计的一种Prolog正向推理机，文中着重讨论其推理策略及其具体实现中的几个重要谓词，最后指出该推理机的优缺点和今后的研究方向。     

基于Visual Prolog中医诊疗专家系统的设计与实现

中医诊疗专家系统作为一种实用工具,是为人类提供保存、传播、使用和评价有关中医知识的有效手段。叙述了基于Visual Prolog的中医诊疗专家系统的体系结构、知识获取和知识表示方法、推理机的设计、中草药作用分析及可视化等。该系统的成功运行在中医诊疗和教学工作中取得了良好的效果。     

对象关系数据库中一类特定连接谓词的有效处理方法

连接运算是关系和对象关系数据库中的基本运算之一,在关系数据库中,连接条件是由简单的算术比较运算所组成的布尔表达式,对此提出了许多有效的连接算法,如排序归并、哈希连接、带索引的嵌套循环等.在对象关系数据库连接运算中,连接条件可以包含用户自定义的复杂谓词(或函数),该复杂谓词对优化器和执行器而言,是一个黑盒,此时,原有的连接算法不能直接应用于该连接运算.本文对连接条件中的用户定义谓词进行了分析,若存在一个能对该用户谓词变元进行限定变换的函数T_R,则对该类连接谓词的处理仍可利用原有的连接算法进行,可有效提高查询处理速度.文中还用一个实例对该思想进行了阐述.     

Prolog模糊推理机

本文采用基于模糊集会论的推理策略，为TurboProlog设计了一个模糊推理机外壳，使其能够在保持原有系统功能的基础上处理模糊信息。