1.引言 近年来,小型化的向量巨型机已逐渐商品化,与向量巨型机相比,小型化的向量巨型机的性能价格比大为提高,其价格大大下降,但这......

本文介绍了用表结构将能够有效地管理很大的数据库,但缺乏推理能力的关系数据库管理系统与具有很强的演绎推理能力,但缺乏管理大量......

本文基于PROLOG 系统中A,B 栈计算模型,讨论了一致化问题,给出了关于替换和环境等数据结构的动态描述,并且给出了求一个目标的基例......

随着计算机科学技术的发展,用计算机模拟人类实际科学推理的思维过程成为可能.于是,在计算机人工智能与认知心理学研究的交叉点上......

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操......

本文介绍了模糊逻辑程序的概念及其实现途径,给出了一种利用模糊推理外壳将普通PROLOG系统扩充为Fuzzy PROLOG系统的新方法。......

用人工智能语言Turbo-PROLOG(2.0版)在微机上开发了一个面向对象的石油蒸馏外部数据库。在PROLOG环境中提供面向对象的知识表示,将......

ＢＰＵ－ＳＰＡＲ系统是在原ＢＰＵ－Ｐｒｏｌｏｇ系统的基础上研制开发出来的一个流并行ｐｒｏｌｏｇ系统，已在ＳＵＮ工作站上实现ＢＰＵ－ＳＰＡＲ继承了原ＢＰＵ－Ｐｒｏｌｏｇ的结构共享机制，其运行速度可以和基于Ｗａｒｒｅｎ抽象机的ＰＡＲＬＯＧ相比......

内部谓词是编写高质量的Prolog程序的保证。本文介绍了Prolog 386向用户提供的扩充自己定义的内部谓词的手段;用户使用该手段添加......